import { Expression } from "../expressions";
import * as z3 from "z3-solver";
export declare function toZ3(c: z3.Context<"main">, a: Expression): z3.Expr<"main">;