package octez-l2-libs
include module type of struct include Tezos_webassembly_interpreter.Types end
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
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
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 = Tezos_webassembly_interpreter.Types.value_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 result_type = value_type Tezos_lazy_containers.Lazy_vector.Int32Vector.t
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
val pp_mutability :
Ppx_deriving_runtime.Format.formatter ->
mutability ->
Ppx_deriving_runtime.unit
val show_mutability : mutability -> Ppx_deriving_runtime.string
type table_type = Tezos_webassembly_interpreter.Types.table_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
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 = Tezos_webassembly_interpreter.Types.global_type =
| 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 = Tezos_webassembly_interpreter.Types.extern_type =
| ExternFuncType of Tezos_webassembly_interpreter.Types.func_type
| ExternTableType of table_type
| ExternMemoryType of memory_type
| ExternGlobalType of global_type
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
val pp_extension :
Ppx_deriving_runtime.Format.formatter ->
extension ->
Ppx_deriving_runtime.unit
val show_extension : extension -> Ppx_deriving_runtime.string
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 = Tezos_webassembly_interpreter.Types.vec_extension =
| ExtLane of pack_shape * extension
| ExtSplat
| 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 ->
Tezos_webassembly_interpreter.Types.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 :
Tezos_webassembly_interpreter.I32.t limits ->
Tezos_webassembly_interpreter.I32.t limits ->
bool
val func_type_empty : Tezos_webassembly_interpreter.Types.func_type -> bool
val func_types_equal :
Tezos_webassembly_interpreter.Types.func_type ->
Tezos_webassembly_interpreter.Types.func_type ->
bool Lwt.t
val match_func_type :
Tezos_webassembly_interpreter.Types.func_type ->
Tezos_webassembly_interpreter.Types.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_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 pp_result_type :
Format.formatter ->
Tezos_webassembly_interpreter.Types.value_type
Tezos_lazy_containers.Lazy_vector.Int32Vector.t ->
unit
type func_type = Tezos_webassembly_interpreter.Types.func_type =
| FuncType of result_type * result_type
val pp_func_type :
Ppx_deriving_runtime.Format.formatter ->
func_type ->
Ppx_deriving_runtime.unit
val show_func_type : func_type -> Ppx_deriving_runtime.string
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>