import { BasicFun, Fun } from "../../state";
export type BasicPredicate<c> = BasicFun<c, boolean>;
export type Predicate<c> = Fun<c, boolean> & {
    not: () => Predicate<c>;
    and: (other: Predicate<c>) => Predicate<c>;
    or: (other: Predicate<c>) => Predicate<c>;
};
export declare const Predicate: (<c>(actual: BasicPredicate<c>) => Predicate<c>) & {
    True: <c>() => Predicate<c>;
    False: <c>() => Predicate<c>;
};
//# sourceMappingURL=state.d.ts.map