import { Expression } from "../expressions";
import { Maybe } from "../isConsequent";
export declare function isConsequentZ3(a: Expression, b: Expression): Promise<Maybe>;