package octez-l2-libs

  1. Overview
  2. Docs
package octez-l2-libs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Tezos_webassembly_interpreter.Types end
type num_type = Tezos_webassembly_interpreter.Types.num_type =
  1. | I32Type
  2. | I64Type
  3. | F32Type
  4. | F64Type
val show_num_type : num_type -> Ppx_deriving_runtime.string
val show_vec_type : vec_type -> Ppx_deriving_runtime.string
type ref_type = Tezos_webassembly_interpreter.Types.ref_type =
  1. | FuncRefType
  2. | ExternRefType
val show_ref_type : ref_type -> Ppx_deriving_runtime.string
type value_type = Tezos_webassembly_interpreter.Types.value_type =
  1. | NumType of num_type
  2. | VecType of vec_type
  3. | RefType of ref_type
val show_value_type : value_type -> Ppx_deriving_runtime.string
type 'a limits = 'a Tezos_webassembly_interpreter.Types.limits = {
  1. min : 'a;
  2. max : 'a option;
}
type mutability = Tezos_webassembly_interpreter.Types.mutability =
  1. | Immutable
  2. | Mutable
val show_mutability : mutability -> Ppx_deriving_runtime.string
val show_table_type : table_type -> Ppx_deriving_runtime.string
val show_memory_type : memory_type -> Ppx_deriving_runtime.string
val show_global_type : global_type -> Ppx_deriving_runtime.string
type extern_type = Tezos_webassembly_interpreter.Types.extern_type =
  1. | ExternFuncType of Tezos_webassembly_interpreter.Types.func_type
  2. | ExternTableType of table_type
  3. | ExternMemoryType of memory_type
  4. | ExternGlobalType of global_type
type pack_size = Tezos_webassembly_interpreter.Types.pack_size =
  1. | Pack8
  2. | Pack16
  3. | Pack32
  4. | Pack64
val show_pack_size : pack_size -> Ppx_deriving_runtime.string
val show_extension : extension -> Ppx_deriving_runtime.string
type pack_shape = Tezos_webassembly_interpreter.Types.pack_shape =
  1. | Pack8x8
  2. | Pack16x4
  3. | Pack32x2
val show_pack_shape : pack_shape -> Ppx_deriving_runtime.string
type vec_extension = Tezos_webassembly_interpreter.Types.vec_extension =
  1. | ExtLane of pack_shape * extension
  2. | ExtSplat
  3. | ExtZero
val show_vec_extension : vec_extension -> Ppx_deriving_runtime.string
val num_size : num_type -> int
val vec_size : vec_type -> int
val packed_size : pack_size -> int
val packed_shape_size : pack_shape -> int
val is_num_type : value_type -> bool
val is_vec_type : value_type -> bool
val is_ref_type : value_type -> bool
val tables : extern_type list -> table_type list
val memories : extern_type list -> memory_type list
val globals : extern_type list -> global_type list
val func_type_empty : Tezos_webassembly_interpreter.Types.func_type -> bool
val match_table_type : table_type -> table_type -> bool
val match_memory_type : memory_type -> memory_type -> bool
val match_global_type : 'a -> 'b -> bool
val match_extern_type : extern_type -> extern_type -> bool Lwt.t
val string_of_num_type : num_type -> string
val string_of_vec_type : vec_type -> string
val string_of_ref_type : ref_type -> string
val string_of_refed_type : ref_type -> string
val string_of_value_type : value_type -> string
val string_of_value_types : value_type list -> string
val string_of_limits : Tezos_webassembly_interpreter.I32.t limits -> string
val string_of_memory_type : memory_type -> string
val string_of_table_type : table_type -> string
val string_of_global_type : global_type -> string
val string_of_result_type : value_type Tezos_lazy_containers.Lazy_vector.Int32Vector.t -> string
val string_of_func_type : Tezos_webassembly_interpreter.Types.func_type -> string
val string_of_extern_type : extern_type -> string
val show_func_type : func_type -> Ppx_deriving_runtime.string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct