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