export function init_ext(): void;
/**
 * @param {string} path
 * @param {number | null | undefined} boolify_width
 * @param {string} public_inputs_json
 * @param {Function} read_file
 * @returns {any}
 */
export function compile(path: string, boolify_width: number | null | undefined, public_inputs_json: string, read_file: Function): any;
export default __wbg_init;
export function initSync(module: any): any;
declare function __wbg_init(module_or_path: any): Promise<any>;
//# sourceMappingURL=summon_ts_wasm.d.ts.map