import { Expression } from "./expressions/Expression";
export type Maybe = true | false | null;
export declare function isConsequentAsync(a: Expression, b: Expression): Promise<Maybe>;
/**
 * Assuming expression 'a' is true then this function returns
 * true if 'b' is necessarily true
 * false if 'b' is necessarily false
 * null if we cannot determine
 */
export declare function isConsequent(a: Expression, b: Expression): Maybe;