package octez-l2-libs
module Vector = Tezos_lazy_containers.Lazy_vector.Int32Vector
val small_vector_gen : 'a QCheck2.Gen.t -> 'b Vector.t QCheck2.Gen.t
val no_region : 'a -> 'b Tezos_webassembly_interpreter.Source.phrase
val var_gen : int32 Tezos_webassembly_interpreter.Source.phrase QCheck2.Gen.t
val num_type_gen : Tezos_webassembly_interpreter.Types.num_type QCheck2.Gen.t
val value_type_gen :
Tezos_webassembly_interpreter.Types.value_type QCheck2.Gen.t
val value_types_gen :
Tezos_webassembly_interpreter.Types.value_type list QCheck2.Gen.t
val data_label_gen : Tezos_webassembly_interpreter.Ast.data_label QCheck2.Gen.t
val block_type_gen : Tezos_webassembly_interpreter.Ast.block_type QCheck2.Gen.t
val memop_gen :
'a QCheck2.Gen.t ->
'b QCheck2.Gen.t ->
('c, 'd) Tezos_webassembly_interpreter.Ast.memop QCheck2.Gen.t
val pack_size_gen : Tezos_webassembly_interpreter.Types.pack_size QCheck2.Gen.t
val extension_gen : Tezos_webassembly_interpreter.Types.extension QCheck2.Gen.t
val pack_shape_gen :
Tezos_webassembly_interpreter.Types.pack_shape QCheck2.Gen.t
val vec_extension_gen :
Tezos_webassembly_interpreter.Types.vec_extension QCheck2.Gen.t
val vec_type_gen : Tezos_webassembly_interpreter.Types.vec_type QCheck2.Gen.t
val vec_store_op_gen :
(Tezos_webassembly_interpreter.Types.vec_type, unit)
Tezos_webassembly_interpreter.Ast.memop
QCheck2.Gen.t
val value_op_gen :
'a QCheck2.Gen.t ->
'b QCheck2.Gen.t ->
('c, 'd, 'e, 'f) Tezos_webassembly_interpreter.Values.op QCheck2.Gen.t
The values F32
and F64
are not currently supported.
val int_relop_gen : Tezos_webassembly_interpreter.Ast.IntOp.relop QCheck2.Gen.t
val int_unop_gen : Tezos_webassembly_interpreter.Ast.IntOp.unop QCheck2.Gen.t
val int_binop_gen : Tezos_webassembly_interpreter.Ast.IntOp.binop QCheck2.Gen.t
val int_cvtop : Tezos_webassembly_interpreter.Ast.IntOp.cvtop QCheck2.Gen.t
val vector_gen :
'a QCheck2.Gen.t ->
'b Tezos_lazy_containers.Lazy_vector.Int32Vector.t QCheck2.Gen.t
val vector_z_gen :
'a QCheck2.Gen.t ->
'b Tezos_lazy_containers.Lazy_vector.ZVector.t QCheck2.Gen.t
val func_type_gen : Tezos_webassembly_interpreter.Types.func_type QCheck2.Gen.t
val block_label_gen :
Tezos_webassembly_interpreter.Ast.block_label QCheck2.Gen.t
val func_gen : 'a -> 'b Tezos_webassembly_interpreter.Func.func QCheck2.Gen.t
val ref_type_gen : Tezos_webassembly_interpreter.Types.ref_type QCheck2.Gen.t
val ref_gen : Tezos_webassembly_interpreter.Values.ref_ QCheck2.Gen.t
val table_gen : Tezos_webassembly_interpreter.Table.t QCheck2.Gen.t
val chunked_byte_vector_gen :
Tezos_lazy_containers.Chunked_byte_vector.t QCheck2.Gen.t
val memory_gen : Tezos_webassembly_interpreter.Memory.t QCheck2.Gen.t
val value_num_gen :
Tezos_webassembly_interpreter.Types.num_type ->
(int32, int64, 'a, 'b) Tezos_webassembly_interpreter.Values.op QCheck2.Gen.t
val typed_value_gen :
Tezos_webassembly_interpreter.Types.value_type ->
Tezos_webassembly_interpreter.Values.value QCheck2.Gen.t
val value_gen : Tezos_webassembly_interpreter.Values.value QCheck2.Gen.t
val global_gen : Tezos_webassembly_interpreter.Global.global QCheck2.Gen.t
val map_gen :
'a QCheck2.Gen.t ->
'b Tezos_webassembly_interpreter.Instance.NameMap.t QCheck2.Gen.t
val datas_gen : Tezos_webassembly_interpreter.Ast.data_label ref QCheck2.Gen.t
val allocations_gen :
Tezos_webassembly_interpreter.Ast.allocations QCheck2.Gen.t
val limit_gen :
'a QCheck2.Gen.t ->
'b Tezos_webassembly_interpreter.Types.limits QCheck2.Gen.t
val table_type_gen :
Tezos_webassembly_interpreter.Types.table_type QCheck2.Gen.t
val memory_type_gen :
Tezos_webassembly_interpreter.Types.memory_type QCheck2.Gen.t
val global_type_gen :
Tezos_webassembly_interpreter.Types.global_type QCheck2.Gen.t
val module_key_gen :
Tezos_webassembly_interpreter.Instance.module_key QCheck2.Gen.t
val module_key_and_instance_gen :
?module_reg:
Tezos_webassembly_interpreter.Instance.module_inst
Tezos_webassembly_interpreter.Instance.ModuleMap.t ->
unit ->
(Tezos_webassembly_interpreter.Instance.module_key
* Tezos_webassembly_interpreter.Instance.module_inst)
QCheck2.Gen.t
val module_gen :
?module_reg:
Tezos_webassembly_interpreter.Instance.module_inst
Tezos_webassembly_interpreter.Instance.ModuleMap.t ->
unit ->
Tezos_webassembly_interpreter.Instance.module_inst QCheck2.Gen.t
val frame_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.frame QCheck2.Gen.t
val admin_instr'_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.admin_instr' QCheck2.Gen.t
val admin_instr_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.admin_instr'
Tezos_webassembly_interpreter.Source.phrase
QCheck2.Gen.t
val output_info_gen :
Tezos_webassembly_interpreter.Output_buffer.output_info QCheck2.Gen.t
val output_buffer_gen :
Tezos_webassembly_interpreter.Output_buffer.t QCheck2.Gen.t
val label_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.label QCheck2.Gen.t
val label_stack_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.ongoing
Tezos_webassembly_interpreter.Eval.label_kont
QCheck2.Gen.t
val label_trapped_gen :
Tezos_webassembly_interpreter.Eval.finished
Tezos_webassembly_interpreter.Eval.label_kont
QCheck2.Gen.t
type packed_label_kont =
| Packed_lk : 'a Tezos_webassembly_interpreter.Eval.label_kont -> packed_label_kont
type packed_frame_stack =
| Packed_fs : 'a Tezos_webassembly_interpreter.Eval.frame_stack -> packed_frame_stack
val packed_label_kont_gen : module_reg:'a -> packed_label_kont QCheck2.Gen.t
val ongoing_frame_stack_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.ongoing
Tezos_webassembly_interpreter.Eval.frame_stack
QCheck2.Gen.t
val packed_frame_stack_gen : module_reg:'a -> packed_frame_stack QCheck2.Gen.t
val map_kont_gen :
'a QCheck2.Gen.t ->
'b QCheck2.Gen.t ->
('c, 'd) Tezos_webassembly_interpreter.Eval.map_kont QCheck2.Gen.t
val concat_kont_gen :
'a QCheck2.Gen.t ->
'b Tezos_webassembly_interpreter.Eval.concat_kont QCheck2.Gen.t
val inv_start_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.invoke_step_kont QCheck2.Gen.t
val inv_prepare_locals_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.invoke_step_kont QCheck2.Gen.t
val inv_prepare_args_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.invoke_step_kont QCheck2.Gen.t
val inv_concat_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.invoke_step_kont QCheck2.Gen.t
val inv_reveal_tick :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.invoke_step_kont QCheck2.Gen.t
val inv_stop_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.invoke_step_kont QCheck2.Gen.t
val invoke_step_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.invoke_step_kont QCheck2.Gen.t
val ls_start_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.label_step_kont QCheck2.Gen.t
val ls_craft_frame_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.label_step_kont QCheck2.Gen.t
val ls_push_frame_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.label_step_kont QCheck2.Gen.t
val ls_consolidate_top_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.label_step_kont QCheck2.Gen.t
val ls_modify_top_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.label_step_kont QCheck2.Gen.t
val label_step_kont_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.label_step_kont QCheck2.Gen.t
val sk_start_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.step_kont QCheck2.Gen.t
val sk_next_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.step_kont QCheck2.Gen.t
val sk_consolidate_label_result_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.step_kont QCheck2.Gen.t
val sk_result_gen : Tezos_webassembly_interpreter.Eval.step_kont QCheck2.Gen.t
val sk_trapped_gen : Tezos_webassembly_interpreter.Eval.step_kont QCheck2.Gen.t
val step_kont_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.step_kont QCheck2.Gen.t
val buffers_gen : Tezos_webassembly_interpreter.Eval.buffers QCheck2.Gen.t
val config_gen :
module_reg:'a ->
Tezos_webassembly_interpreter.Eval.config QCheck2.Gen.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>