package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez layer2 libraries

Install

Dune Dependency

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

Authors

Maintainers

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 Vector = Tezos_lazy_containers.Lazy_vector.Int32Vector

module NameMap : sig ... end

type module_key =

| Module_key of string

val pp_module_key : 
  Ppx_deriving_runtime.Format.formatter ->
  module_key ->
  Ppx_deriving_runtime.unit

val show_module_key : module_key -> Ppx_deriving_runtime.string

type module_inst = {

types : Types.func_type Vector.t;
funcs : func_inst Vector.t;
tables : table_inst Vector.t;
memories : memory_inst Vector.t;
globals : global_inst Vector.t;
exports : extern NameMap.t;
elems : elem_inst Vector.t;
datas : data_inst Vector.t;
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 =

| ExternFunc of func_inst
| ExternTable of table_inst
| ExternMemory of memory_inst
| ExternGlobal of global_inst

and module_reg = module_inst ModuleMap.t

type Values.ref_ +=

| 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