import { type Refute } from './prelude.js';
/** Combinator returning refute as assertion. */
declare const assert: <T>(a: Refute<T>, f?: (failure: import("./prelude.js").Fail) => string) => (value: unknown) => T;
export default assert;