import { Z3Api } from "../types.js";
export declare function init(): Promise<Z3Api>;