import type { EmscriptenModule, UnsafeZ3Api } from './types.js';
/**
 * Build the UnsafeZ3 raw API surface.
 *
 * These are the functions that exist in the WASM binary (verified via
 * createExportWrapper in z3-built.js) but are not surfaced by the
 * z3-solver JS wrapper because they take callback function pointers,
 * void* user_context, bool out-params, or return Z3_char_ptr.
 *
 * Each function is exposed as a thin ccall wrapper. The caller is
 * responsible for providing valid WASM pointers (from addFunction,
 * _malloc, etc.) and managing lifetimes.
 */
export declare function createUnsafeZ3(mod: EmscriptenModule): UnsafeZ3Api;
//# sourceMappingURL=unsafe.d.ts.map