Module Mavryk_webassembly_interpreter.Types

type num_type =
  1. | I32Type
  2. | I64Type
  3. | F32Type
  4. | F64Type
val pp_num_type : Ppx_deriving_runtime.Format.formatter -> num_type -> Ppx_deriving_runtime.unit
val show_num_type : num_type -> Ppx_deriving_runtime.string
type vec_type =
  1. | V128Type
val pp_vec_type : Ppx_deriving_runtime.Format.formatter -> vec_type -> Ppx_deriving_runtime.unit
val show_vec_type : vec_type -> Ppx_deriving_runtime.string
type ref_type =
  1. | FuncRefType
  2. | ExternRefType
val pp_ref_type : Ppx_deriving_runtime.Format.formatter -> ref_type -> Ppx_deriving_runtime.unit
val show_ref_type : ref_type -> Ppx_deriving_runtime.string
type value_type =
  1. | NumType of num_type
  2. | VecType of vec_type
  3. | RefType of ref_type
val pp_value_type : Ppx_deriving_runtime.Format.formatter -> value_type -> Ppx_deriving_runtime.unit
val show_value_type : value_type -> Ppx_deriving_runtime.string
type func_type =
  1. | FuncType of result_type * result_type
type 'a limits = {
  1. min : 'a;
  2. max : 'a option;
}
val pp_limits : 'a. (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> Ppx_deriving_runtime.Format.formatter -> 'a limits -> Ppx_deriving_runtime.unit
val show_limits : 'a. (Ppx_deriving_runtime.Format.formatter -> 'a -> Ppx_deriving_runtime.unit) -> 'a limits -> Ppx_deriving_runtime.string
type mutability =
  1. | Immutable
  2. | Mutable
val pp_mutability : Ppx_deriving_runtime.Format.formatter -> mutability -> Ppx_deriving_runtime.unit
val show_mutability : mutability -> Ppx_deriving_runtime.string
type table_type =
  1. | TableType of Stdlib.Int32.t limits * ref_type
val pp_table_type : Ppx_deriving_runtime.Format.formatter -> table_type -> Ppx_deriving_runtime.unit
val show_table_type : table_type -> Ppx_deriving_runtime.string
type memory_type =
  1. | MemoryType of Stdlib.Int32.t limits
val pp_memory_type : Ppx_deriving_runtime.Format.formatter -> memory_type -> Ppx_deriving_runtime.unit
val show_memory_type : memory_type -> Ppx_deriving_runtime.string
type global_type =
  1. | GlobalType of value_type * mutability
val pp_global_type : Ppx_deriving_runtime.Format.formatter -> global_type -> Ppx_deriving_runtime.unit
val show_global_type : global_type -> Ppx_deriving_runtime.string
type extern_type =
  1. | ExternFuncType of func_type
  2. | ExternTableType of table_type
  3. | ExternMemoryType of memory_type
  4. | ExternGlobalType of global_type
type pack_size =
  1. | Pack8
  2. | Pack16
  3. | Pack32
  4. | Pack64
val pp_pack_size : Ppx_deriving_runtime.Format.formatter -> pack_size -> Ppx_deriving_runtime.unit
val show_pack_size : pack_size -> Ppx_deriving_runtime.string
type extension =
  1. | SX
  2. | ZX
val pp_extension : Ppx_deriving_runtime.Format.formatter -> extension -> Ppx_deriving_runtime.unit
val show_extension : extension -> Ppx_deriving_runtime.string
type pack_shape =
  1. | Pack8x8
  2. | Pack16x4
  3. | Pack32x2
val pp_pack_shape : Ppx_deriving_runtime.Format.formatter -> pack_shape -> Ppx_deriving_runtime.unit
val show_pack_shape : pack_shape -> Ppx_deriving_runtime.string
type vec_extension =
  1. | ExtLane of pack_shape * extension
  2. | ExtSplat
  3. | ExtZero
val pp_vec_extension : Ppx_deriving_runtime.Format.formatter -> vec_extension -> Ppx_deriving_runtime.unit
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 funcs : extern_type list -> func_type list
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 match_limits : I32.t limits -> I32.t limits -> bool
val func_type_empty : func_type -> bool
val func_types_equal : func_type -> func_type -> bool Lwt.t
val match_func_type : func_type -> func_type -> bool Lwt.t
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 : 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 Mavryk_lazy_containers.Lazy_vector.Int32Vector.t -> string
val string_of_func_type : func_type -> string
val string_of_extern_type : extern_type -> string