/* tslint:disable */
/* eslint-disable */
export const memory: WebAssembly.Memory;
export function __wbg_wasmclient_free(a: number): void;
export function wasmclient_new(a: number, b: number, c: number): void;
export function wasmclient_instructions(a: number, b: number, c: number): number;
export function wasmclient_statement(a: number, b: number, c: number): number;
export function wasmclient_witness_jwt(a: number, b: number, c: number): number;
export function wasmclient_witness_ld(a: number, b: number, c: number): number;
export function wasmclient_witness_verify(a: number, b: number, c: number): number;
export function wasmclient_verify(a: number, b: number, c: number): number;
export function __wbindgen_malloc(a: number): number;
export function __wbindgen_realloc(a: number, b: number, c: number): number;
export const __wbindgen_export_2: WebAssembly.Table;
export function _dyn_core__ops__function__FnMut__A____Output___R_as_wasm_bindgen__closure__WasmClosure___describe__invoke__hf8d8ca5c684eb983(a: number, b: number, c: number): void;
export function __wbindgen_add_to_stack_pointer(a: number): number;
export function __wbindgen_exn_store(a: number): void;
export function wasm_bindgen__convert__closures__invoke2_mut__h20887aabf4c08c25(a: number, b: number, c: number, d: number): void;
