import { Value } from './nullary';
export declare type Proposition = Value<boolean>;
export declare function isTrue(proposition: Proposition): boolean;
export declare function isFalse(proposition: Proposition): boolean;
export declare function negated(value: Proposition): boolean;
//# sourceMappingURL=proposition.d.ts.map