package tezos-webassembly-interpreter

  1. Overview
  2. Docs
type 'inst t = 'inst func
and 'inst func =
  1. | AstFunc of Types.func_type * 'inst * Ast.func
  2. | HostFunc of Types.func_type * string
val alloc : Types.func_type -> 'inst -> Ast.func -> 'inst func
val alloc_host : global_name:string -> Types.func_type -> 'inst func
val type_of : 'inst func -> Types.func_type