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