import { Z3Core } from '../low-level';
import { Z3HighLevel } from './types';
export declare function createApi(Z3: Z3Core): Z3HighLevel;