package octez-l2-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val small_vector_gen : 'a QCheck2.Gen.t -> 'b Vector.t QCheck2.Gen.t
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 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 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 Stdlib.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 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 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
type packed_label_kont =
  1. | Packed_lk : 'a Tezos_webassembly_interpreter.Eval.label_kont -> packed_label_kont
type packed_frame_stack =
  1. | 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
OCaml

Innovation. Community. Security.