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