package octez-l2-libs

  1. Overview
  2. Docs
Octez layer2 libraries

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam
  2. W
    WebAssembly Authors

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/octez-l2-libs.webassembly-interpreter/Tezos_webassembly_interpreter/Instance/index.html

Module Tezos_webassembly_interpreter.Instance

module ModuleMap : sig ... end
module NameMap : sig ... end
type module_key =
  1. | Module_key of string
val show_module_key : module_key -> Ppx_deriving_runtime.string
type module_inst = {
  1. types : Types.func_type Vector.t;
  2. funcs : func_inst Vector.t;
  3. tables : table_inst Vector.t;
  4. memories : memory_inst Vector.t;
  5. globals : global_inst Vector.t;
  6. exports : extern NameMap.t;
  7. elems : elem_inst Vector.t;
  8. datas : data_inst Vector.t;
  9. allocations : Ast.allocations;
}
and func_inst = module_key Func.t
and table_inst = Table.t
and memory_inst = Memory.t
and global_inst = Global.t
and input_inst = Input_buffer.t
and output_inst = Output_buffer.t
and export_inst = Ast.name * extern
and elem_inst = Values.ref_ Vector.t ref
and data_inst = Ast.data_label ref
and extern =
  1. | ExternFunc of func_inst
  2. | ExternTable of table_inst
  3. | ExternMemory of memory_inst
  4. | ExternGlobal of global_inst
and module_reg = module_inst ModuleMap.t
type Values.ref_ +=
  1. | FuncRef of func_inst
val empty_module_inst : module_inst
val update_module_ref : 'a ModuleMap.t -> module_key -> 'a -> unit
val resolve_module_ref : 'a ModuleMap.t -> module_key -> 'a Lwt.t
val extern_type_of : extern -> Types.extern_type
val export : module_inst -> NameMap.key -> extern option Lwt.t