@prelude/function/mjs/implies.d.ts

Function module.

import type { Predicate } from './prelude.js';
declare const implies: <T, U>(a: Predicate<T>, b: Predicate<U>) => (value: T & U) => boolean;
export default implies;