/**
 * Maps JS objects to integer handles for passing through WASM as void*.
 *
 * Z3's callback APIs pass a `void* user_context` through the C layer.
 * In WASM, void* is a 32-bit integer. This table assigns monotonically
 * increasing integer IDs to JS values so they survive the round-trip.
 */
export declare class HandleTable<T> {
    private nextId;
    private map;
    create(value: T): number;
    get(id: number): T;
    has(id: number): boolean;
    delete(id: number): boolean;
    get size(): number;
    clear(): void;
}
//# sourceMappingURL=handle-table.d.ts.map