Mavryk_webassembly_interpreter.Functype 'inst t = 'inst funcand 'inst func = | AstFunc of Types.func_type * 'inst * Ast.func| HostFunc of Types.func_type * stringval alloc : Types.func_type -> 'inst -> Ast.func -> 'inst funcval alloc_host : global_name:string -> Types.func_type -> 'inst funcval type_of : 'inst func -> Types.func_type