import { Expression } from "../expressions";
import * as z3 from "z3-solver";
import { Z3_ast } from "z3-solver";
export declare function initZ3Context(): Promise<z3.Context<"main">>;
export declare function getZ3(): {
    context: z3.Context<"main">;
    z3: z3.Z3LowLevel["Z3"];
};
export declare function toZ3(c: z3.Context<"main">, a: Expression): z3.Expr<"main", z3.AnySort<"main">, Z3_ast>;