package octez-l2-libs
include module type of struct include Tezos_webassembly_interpreter.Ast end
module TzStdLib = Tezos_webassembly_interpreter.Ast.TzStdLib
module Vector = Tezos_webassembly_interpreter.Ast.Vector
type void = Tezos_webassembly_interpreter.Lib.void
module IntOp = Tezos_webassembly_interpreter.Ast.IntOp
module FloatOp = Tezos_webassembly_interpreter.Ast.FloatOp
module I32Op = Tezos_webassembly_interpreter.Ast.I32Op
module I64Op = Tezos_webassembly_interpreter.Ast.I64Op
module F32Op = Tezos_webassembly_interpreter.Ast.F32Op
module F64Op = Tezos_webassembly_interpreter.Ast.F64Op
module V128Op = Tezos_webassembly_interpreter.Ast.V128Op
type testop =
(I32Op.testop, I64Op.testop, F32Op.testop, F64Op.testop)
Tezos_webassembly_interpreter.Values.op
val pp_testop :
Ppx_deriving_runtime.Format.formatter ->
testop ->
Ppx_deriving_runtime.unit
val show_testop : testop -> Ppx_deriving_runtime.string
type unop =
(I32Op.unop, I64Op.unop, F32Op.unop, F64Op.unop)
Tezos_webassembly_interpreter.Values.op
val pp_unop :
Ppx_deriving_runtime.Format.formatter ->
unop ->
Ppx_deriving_runtime.unit
val show_unop : unop -> Ppx_deriving_runtime.string
type binop =
(I32Op.binop, I64Op.binop, F32Op.binop, F64Op.binop)
Tezos_webassembly_interpreter.Values.op
val pp_binop :
Ppx_deriving_runtime.Format.formatter ->
binop ->
Ppx_deriving_runtime.unit
val show_binop : binop -> Ppx_deriving_runtime.string
type relop =
(I32Op.relop, I64Op.relop, F32Op.relop, F64Op.relop)
Tezos_webassembly_interpreter.Values.op
val pp_relop :
Ppx_deriving_runtime.Format.formatter ->
relop ->
Ppx_deriving_runtime.unit
val show_relop : relop -> Ppx_deriving_runtime.string
type cvtop =
(I32Op.cvtop, I64Op.cvtop, F32Op.cvtop, F64Op.cvtop)
Tezos_webassembly_interpreter.Values.op
val pp_cvtop :
Ppx_deriving_runtime.Format.formatter ->
cvtop ->
Ppx_deriving_runtime.unit
val show_cvtop : cvtop -> Ppx_deriving_runtime.string
type vec_testop = V128Op.testop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_testop :
Ppx_deriving_runtime.Format.formatter ->
vec_testop ->
Ppx_deriving_runtime.unit
val show_vec_testop : vec_testop -> Ppx_deriving_runtime.string
type vec_relop = V128Op.relop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_relop :
Ppx_deriving_runtime.Format.formatter ->
vec_relop ->
Ppx_deriving_runtime.unit
val show_vec_relop : vec_relop -> Ppx_deriving_runtime.string
type vec_unop = V128Op.unop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_unop :
Ppx_deriving_runtime.Format.formatter ->
vec_unop ->
Ppx_deriving_runtime.unit
val show_vec_unop : vec_unop -> Ppx_deriving_runtime.string
type vec_binop = V128Op.binop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_binop :
Ppx_deriving_runtime.Format.formatter ->
vec_binop ->
Ppx_deriving_runtime.unit
val show_vec_binop : vec_binop -> Ppx_deriving_runtime.string
type vec_cvtop = V128Op.cvtop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_cvtop :
Ppx_deriving_runtime.Format.formatter ->
vec_cvtop ->
Ppx_deriving_runtime.unit
val show_vec_cvtop : vec_cvtop -> Ppx_deriving_runtime.string
type vec_shiftop = V128Op.shiftop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_shiftop :
Ppx_deriving_runtime.Format.formatter ->
vec_shiftop ->
Ppx_deriving_runtime.unit
val show_vec_shiftop : vec_shiftop -> Ppx_deriving_runtime.string
type vec_bitmaskop =
V128Op.bitmaskop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_bitmaskop :
Ppx_deriving_runtime.Format.formatter ->
vec_bitmaskop ->
Ppx_deriving_runtime.unit
val show_vec_bitmaskop : vec_bitmaskop -> Ppx_deriving_runtime.string
type vec_vtestop = V128Op.vtestop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_vtestop :
Ppx_deriving_runtime.Format.formatter ->
vec_vtestop ->
Ppx_deriving_runtime.unit
val show_vec_vtestop : vec_vtestop -> Ppx_deriving_runtime.string
type vec_vunop = V128Op.vunop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_vunop :
Ppx_deriving_runtime.Format.formatter ->
vec_vunop ->
Ppx_deriving_runtime.unit
val show_vec_vunop : vec_vunop -> Ppx_deriving_runtime.string
type vec_vbinop = V128Op.vbinop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_vbinop :
Ppx_deriving_runtime.Format.formatter ->
vec_vbinop ->
Ppx_deriving_runtime.unit
val show_vec_vbinop : vec_vbinop -> Ppx_deriving_runtime.string
type vec_vternop = V128Op.vternop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_vternop :
Ppx_deriving_runtime.Format.formatter ->
vec_vternop ->
Ppx_deriving_runtime.unit
val show_vec_vternop : vec_vternop -> Ppx_deriving_runtime.string
type vec_splatop = V128Op.splatop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_splatop :
Ppx_deriving_runtime.Format.formatter ->
vec_splatop ->
Ppx_deriving_runtime.unit
val show_vec_splatop : vec_splatop -> Ppx_deriving_runtime.string
type vec_extractop =
V128Op.extractop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_extractop :
Ppx_deriving_runtime.Format.formatter ->
vec_extractop ->
Ppx_deriving_runtime.unit
val show_vec_extractop : vec_extractop -> Ppx_deriving_runtime.string
type vec_replaceop =
V128Op.replaceop Tezos_webassembly_interpreter.Values.vecop
val pp_vec_replaceop :
Ppx_deriving_runtime.Format.formatter ->
vec_replaceop ->
Ppx_deriving_runtime.unit
val show_vec_replaceop : vec_replaceop -> Ppx_deriving_runtime.string
val pp_memop :
't 'p. (Ppx_deriving_runtime.Format.formatter ->
't ->
Ppx_deriving_runtime.unit) ->
(Ppx_deriving_runtime.Format.formatter -> 'p -> Ppx_deriving_runtime.unit) ->
Ppx_deriving_runtime.Format.formatter ->
('t, 'p) memop ->
Ppx_deriving_runtime.unit
val show_memop :
't 'p. (Ppx_deriving_runtime.Format.formatter ->
't ->
Ppx_deriving_runtime.unit) ->
(Ppx_deriving_runtime.Format.formatter -> 'p -> Ppx_deriving_runtime.unit) ->
('t, 'p) memop ->
Ppx_deriving_runtime.string
val pp_loadop :
Ppx_deriving_runtime.Format.formatter ->
loadop ->
Ppx_deriving_runtime.unit
val show_loadop : loadop -> Ppx_deriving_runtime.string
type storeop =
(Tezos_webassembly_interpreter.Types.num_type,
Tezos_webassembly_interpreter.Types.pack_size option)
memop
val pp_storeop :
Ppx_deriving_runtime.Format.formatter ->
storeop ->
Ppx_deriving_runtime.unit
val show_storeop : storeop -> Ppx_deriving_runtime.string
val pp_vec_loadop :
Ppx_deriving_runtime.Format.formatter ->
vec_loadop ->
Ppx_deriving_runtime.unit
val show_vec_loadop : vec_loadop -> Ppx_deriving_runtime.string
type vec_storeop = (Tezos_webassembly_interpreter.Types.vec_type, unit) memop
val pp_vec_storeop :
Ppx_deriving_runtime.Format.formatter ->
vec_storeop ->
Ppx_deriving_runtime.unit
val show_vec_storeop : vec_storeop -> Ppx_deriving_runtime.string
type vec_laneop =
(Tezos_webassembly_interpreter.Types.vec_type,
Tezos_webassembly_interpreter.Types.pack_size)
memop
* int
val pp_vec_laneop :
Ppx_deriving_runtime.Format.formatter ->
vec_laneop ->
Ppx_deriving_runtime.unit
val show_vec_laneop : vec_laneop -> Ppx_deriving_runtime.string
type var = int32 Tezos_webassembly_interpreter.Source.phrase
val pp_var :
Ppx_deriving_runtime.Format.formatter ->
var ->
Ppx_deriving_runtime.unit
val show_var : var -> Ppx_deriving_runtime.string
val pp_num :
Ppx_deriving_runtime.Format.formatter ->
num ->
Ppx_deriving_runtime.unit
val show_num : num -> Ppx_deriving_runtime.string
val pp_vec :
Ppx_deriving_runtime.Format.formatter ->
vec ->
Ppx_deriving_runtime.unit
val show_vec : vec -> Ppx_deriving_runtime.string
type block_type = Tezos_webassembly_interpreter.Ast.block_type =
| VarBlockType of var
| ValBlockType of Tezos_webassembly_interpreter.Types.value_type option
val pp_block_type :
Ppx_deriving_runtime.Format.formatter ->
block_type ->
Ppx_deriving_runtime.unit
val show_block_type : block_type -> Ppx_deriving_runtime.string
val pp_block_label :
Ppx_deriving_runtime.Format.formatter ->
block_label ->
Ppx_deriving_runtime.unit
val show_block_label : block_label -> Ppx_deriving_runtime.string
type instr' = Tezos_webassembly_interpreter.Ast.instr' =
| Unreachable
| Nop
| Drop
| Select of Tezos_webassembly_interpreter.Types.value_type list option
| Block of block_type * block_label
| Loop of block_type * block_label
| If of block_type * block_label * block_label
| Br of var
| BrIf of var
| BrTable of var list * var
| Return
| Call of var
| CallIndirect of var * var
| LocalGet of var
| LocalSet of var
| LocalTee of var
| GlobalGet of var
| GlobalSet of var
| TableGet of var
| TableSet of var
| TableSize of var
| TableGrow of var
| TableFill of var
| TableCopy of var * var
| TableInit of var * var
| ElemDrop of var
| Load of loadop
| Store of storeop
| VecLoad of vec_loadop
| VecStore of vec_storeop
| VecLoadLane of vec_laneop
| VecStoreLane of vec_laneop
| MemorySize
| MemoryGrow
| MemoryFill
| MemoryCopy
| MemoryInit of var
| DataDrop of var
| RefNull of Tezos_webassembly_interpreter.Types.ref_type
| RefFunc of var
| RefIsNull
| Const of num
| Test of testop
| Compare of relop
| Unary of unop
| Binary of binop
| Convert of cvtop
| VecConst of vec
| VecTest of vec_testop
| VecCompare of vec_relop
| VecUnary of vec_unop
| VecBinary of vec_binop
| VecConvert of vec_cvtop
| VecShift of vec_shiftop
| VecBitmask of vec_bitmaskop
| VecTestBits of vec_vtestop
| VecUnaryBits of vec_vunop
| VecBinaryBits of vec_vbinop
| VecTernaryBits of vec_vternop
| VecSplat of vec_splatop
| VecExtract of vec_extractop
| VecReplace of vec_replaceop
val pp_instr' :
Ppx_deriving_runtime.Format.formatter ->
instr' ->
Ppx_deriving_runtime.unit
val show_instr' : instr' -> Ppx_deriving_runtime.string
type instr = instr' Tezos_webassembly_interpreter.Source.phrase
val pp_instr :
Ppx_deriving_runtime.Format.formatter ->
instr ->
Ppx_deriving_runtime.unit
val show_instr : instr -> Ppx_deriving_runtime.string
type const = block_label Tezos_webassembly_interpreter.Source.phrase
type global = global' Tezos_webassembly_interpreter.Source.phrase
and global' = Tezos_webassembly_interpreter.Ast.global' = {
gtype : Tezos_webassembly_interpreter.Types.global_type;
ginit : const;
}
type table = table' Tezos_webassembly_interpreter.Source.phrase
type memory = memory' Tezos_webassembly_interpreter.Source.phrase
type segment_mode = segment_mode' Tezos_webassembly_interpreter.Source.phrase
and segment_mode' = Tezos_webassembly_interpreter.Ast.segment_mode' =
type elem_segment = elem_segment' Tezos_webassembly_interpreter.Source.phrase
and elem_segment' = Tezos_webassembly_interpreter.Ast.elem_segment' = {
etype : Tezos_webassembly_interpreter.Types.ref_type;
einit : const Vector.t;
emode : segment_mode;
}
val pp_data_label :
Ppx_deriving_runtime.Format.formatter ->
data_label ->
Ppx_deriving_runtime.unit
val show_data_label : data_label -> Ppx_deriving_runtime.string
type data_segment = data_segment' Tezos_webassembly_interpreter.Source.phrase
and data_segment' = Tezos_webassembly_interpreter.Ast.data_segment' = {
dinit : data_label;
dmode : segment_mode;
}
type export_desc = export_desc' Tezos_webassembly_interpreter.Source.phrase
and export_desc' = Tezos_webassembly_interpreter.Ast.export_desc' =
type export = export' Tezos_webassembly_interpreter.Source.phrase
type import_desc = import_desc' Tezos_webassembly_interpreter.Source.phrase
and import_desc' = Tezos_webassembly_interpreter.Ast.import_desc' =
| FuncImport of var
| TableImport of Tezos_webassembly_interpreter.Types.table_type
| MemoryImport of Tezos_webassembly_interpreter.Types.memory_type
| GlobalImport of Tezos_webassembly_interpreter.Types.global_type
type import = import' Tezos_webassembly_interpreter.Source.phrase
and import' = Tezos_webassembly_interpreter.Ast.import' = {
module_name : name;
item_name : name;
idesc : import_desc;
}
type start = start' Tezos_webassembly_interpreter.Source.phrase
type datas_table = Tezos_lazy_containers.Chunked_byte_vector.t Vector.t
type allocations = Tezos_webassembly_interpreter.Ast.allocations = {
mutable blocks : block_table;
mutable datas : datas_table;
}
type module_ = module_' Tezos_webassembly_interpreter.Source.phrase
and module_' = Tezos_webassembly_interpreter.Ast.module_' = {
types : type_ Vector.t;
globals : global Vector.t;
tables : table Vector.t;
memories : memory Vector.t;
funcs : Tezos_webassembly_interpreter.Ast.func' Tezos_webassembly_interpreter.Source.phrase Vector.t;
start : start option;
elems : elem_segment Vector.t;
datas : data_segment Vector.t;
imports : import Vector.t;
exports : export Vector.t;
allocations : allocations;
}
val empty_allocations : unit -> allocations
val make_allocation_state : block_table -> datas_table -> allocations
val alloc_block : allocations -> block_label
val add_to_block : allocations -> block_label -> instr -> unit Lwt.t
val alloc_data : allocations -> int64 -> data_label
val add_to_data : allocations -> data_label -> int64 -> int -> unit Lwt.t
val empty_module : unit -> module_'
val get_data : data_label -> 'a Vector.t -> 'a Lwt.t
val func_type_for :
module_ ->
var ->
Tezos_webassembly_interpreter.Types.func_type Lwt.t
val import_type :
module_ ->
import ->
Tezos_webassembly_interpreter.Types.extern_type Lwt.t
val export_type :
module_ ->
export ->
Tezos_webassembly_interpreter.Types.extern_type Lwt.t
type func' = Tezos_webassembly_interpreter.Ast.func' = {
ftype : var;
locals : Tezos_webassembly_interpreter.Types.value_type Tezos_webassembly_interpreter.Ast.Vector.t;
body : block_label;
}
val pp_func' :
Ppx_deriving_runtime.Format.formatter ->
func' ->
Ppx_deriving_runtime.unit
val show_func' : func' -> Ppx_deriving_runtime.string
type func = func' Tezos_webassembly_interpreter.Source.phrase
val pp_func :
Ppx_deriving_runtime.Format.formatter ->
func ->
Ppx_deriving_runtime.unit
val show_func : func -> Ppx_deriving_runtime.string
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>