import type { Assert } from './prelude.js';
type Predicate<T> = (value: T) => boolean;
declare const if_: <T, A, B>(predicate: Predicate<T>, then_: Assert<A>, else_: Assert<B>) => (value: T) => A | B;
export default if_;