z3-solver/build/low-level/index.d.ts

This project provides high-level and low-level TypeScript bindings for the [Z3 theorem prover](https://github.com/Z3Prover/z3). It is available on npm as [z3-solver](https://www.npmjs.com/package/z3-solver).

export * from './types.__GENERATED__';
export * from './wrapper.__GENERATED__';
export type Z3ModuleOverrides = {
    locateFile?: (path: string, prefix: string) => string;
    [key: string]: unknown;
};
export type Z3Core = Awaited<ReturnType<(typeof import('./wrapper.__GENERATED__'))['init']>>['Z3'];
export type Z3LowLevel = Awaited<ReturnType<(typeof import('./wrapper.__GENERATED__'))['init']>>;