package octez-l2-libs

You can search for identifiers within the package.

in-package search v0.2.0

octez-l2-libs.layer2_store
- Tezos_layer2_store
  - Context
    
    Internal_for_tests
    
    PVMState
    
    Version
  - Context_sigs
    
    Equality_witness
    
    S
    
    Internal_for_tests
    
    PVMState
  - Delayed_write_monad
    
    Lwt_result_syntax
  - Event
  - Indexed_store
    
    ENCODABLE_VALUE
    
    ENCODABLE_VALUE_HEADER
    
    Header
    
    FIXED_ENCODABLE_VALUE
    
    INDEXABLE_REMOVABLE_STORE
    
    INDEXABLE_STORE
    
    INDEXED_FILE
    
    INDEX_KEY
    
    Make_fixed_encodable
    
    V
    
    Make_index_key
    
    E
    
    Make_index_value
    
    E
    
    Make_indexable
    
    K
    
    V
    
    _
    
    Make_indexable_removable
    
    K
    
    V
    
    _
    
    Make_indexed_file
    
    K
    
    V
    
    Header
    
    _
    
    Make_simple_indexed_file
    
    K
    
    V
    
    Header
    
    _
    
    Make_singleton
    
    S
    
    NAME
    
    SIMPLE_INDEXED_FILE
    
    SINGLETON_STORE
  - Irmin_context
    
    Internal_for_tests
    
    PVMState
    
    Proof
    
    Hash
    
    Proof_encoding
    
    Tree
    
    Tree
  - Irmin_store
    
    Make
    
    N
    
    Raw_irmin
    
    Backend
    
    Branch
    
    Key
    
    Val
    
    Commit
    
    Hash
    
    Key
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Metadata
    
    Path
    
    Val
    
    Metadata
    
    Val
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Node
    
    Contents
    
    Hash
    
    Key
    
    Val
    
    Hash
    
    Key
    
    Val
    
    Metadata
    
    Remote
    
    Repo
    
    Slice
    
    Branch
    
    Commit
    
    Contents
    
    Hash
    
    Head
    
    History
    
    E
    
    V
    
    Info
    
    Metadata
    
    Path
    
    Repo
    
    Schema
    
    Branch
    
    Contents
    
    Hash
    
    Info
    
    Metadata
    
    Status
    
    Tree
    
    Contents
    
    Private
    
    Env
    
    Proof
  - Store_errors
  - Store_events
    
    Simple
  - Store_sigs
    
    Append_only_map
    
    BACKEND
    
    COMPARABLE_KEY
    
    KEY
    
    Map
    
    Mutable_value
    
    Nested_map
    
    STORAGE_INFO
    
    Store
    
    Make_append_only_map
    
    K
    
    S
    
    V
    
    Make_mutable_value
    
    S
    
    V
    
    Make_nested_map
    
    K1
    
    K2
    
    S
    
    V
    
    Make_updatable_map
    
    K
    
    S
    
    V
    
    VALUE
  - Store_utils
    
    Make
    
    B
    
    Make_append_only_map
    
    K
    
    S
    
    V
    
    Make_mutable_value
    
    S
    
    V
    
    Make_nested_map
    
    K1
    
    K2
    
    S
    
    V
    
    Make_updatable_map
    
    K
    
    S
    
    V
octez-l2-libs.scoru-wasm
- Tezos_scoru_wasm
  - Binary_parser_encodings
    
    Block
    
    Building_state
    
    Byte_vector
    
    Code
    
    Data
    
    Decode
    
    Elem
    
    Export
    
    Field
    
    Func_type
    
    Import
    
    Instr_block
    
    Lazy_stack
    
    Lazy_vec
    
    Module
    
    Name
    
    Size
  - Builtins
  - Constants
  - Data_encoding_utils
    
    Little_endian
  - Durable
    
    Internal_for_tests
  - Host_funcs
    
    Aux
    
    Make
    
    Memory_access
    
    S
    
    Error
    
    Internal_for_tests
    
    Memory_access
    
    Memory_access_interpreter
    
    Tick_model
  - Init_encodings
  - Interpreter_encodings
    
    Ast
    
    IntOp
    
    V128Op
    
    Source
    
    Types
    
    V128
    
    Values
  - Kont_encodings
  - Pvm_input_kind
    
    Internal_for_tests
  - Wasm_encoding
    
    Internal_for_tests
  - Wasm_pvm
    
    Make
    
    Internal_for_tests
    
    T
    
    Unsafe
    
    Make_pvm
    
    Internal_for_tests
    
    T
    
    Unsafe
    
    Wasm_vm
    
    Internal_for_tests
  - Wasm_pvm_errors
  - Wasm_pvm_sig
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
    
    Unsafe
    
    Unsafe
  - Wasm_pvm_state
    
    Compatibility
    
    Internal_state
  - Wasm_vm
    
    Internal_for_tests
  - Wasm_vm_sig
    
    Generic
    
    Internal_for_tests
    
    Internal_for_tests
    
    S
    
    Internal_for_tests
octez-l2-libs.scoru-wasm-fast
- Tezos_scoru_wasm_fast
  - Cache
    
    CACHE_INFO
    
    Key
    
    Make
    
    Input
    
    Key
  - Exec
  - Funcs
  - Memory_access
    
    Wasmer
  - Module_cache
  - Pvm
    
    Make
    
    Internal_for_tests
    
    T
    
    Unsafe
  - Vm
    
    Internal_for_tests
octez-l2-libs.scoru-wasm-helpers
- Tezos_scoru_wasm_helpers
  - Ast_printer
    
    Ast
    
    Func
    
    Instance
    
    Types
    
    Values
  - Encodings_util
  - Wasm_utils
    
    Ctx
    
    Tree
    
    Tree_encoding_runner
    
    In_memory_context
    
    Tree
    
    Tree_encoding_runner
    
    Kernels
    
    Make
    
    Ctx
    
    Tree
    
    Tree_encoding_runner
    
    Tree_encoding_runner
    
    Wasm
    
    Internal_for_tests
    
    Unsafe
    
    Wasm_fast
    
    Internal_for_tests
    
    Unsafe
    
    Tree_encoding_runner
    
    Wasm
    
    Internal_for_tests
    
    Unsafe
    
    Wasm_fast
    
    Internal_for_tests
    
    Unsafe
  - Wasm_utils_intf
    
    S
    
    Ctx
    
    Tree
    
    Tree_encoding_runner
    
    Tree_encoding_runner
    
    Wasm
    
    Internal_for_tests
    
    Unsafe
    
    Wasm_fast
    
    Internal_for_tests
    
    Unsafe
octez-l2-libs.scoru_wasm_durable_snapshot
- Tezos_scoru_wasm_durable_snapshot
  - Durable
    
    Internal_for_tests
octez-l2-libs.scoru_wasm_test_helpers
- Tezos_scoru_wasm_test_helpers
octez-l2-libs.smart-rollup
- Octez_smart_rollup
  - Address
  - Commitment
    
    V1
  - Dal
    
    Commitment
    
    Page_index
    
    Slot_header
    
    V1
    
    Slot_history
    
    V1
    
    Slot_history_cache
    
    V1
    
    Slot_index
  - Dictionary_encoding
  - Error
  - Game
    
    V1
  - Inbox
    
    Skip_list
    
    Lwt
    
    MONADIC
    
    Make_monadic
    
    M
    
    V1
  - Inbox_hash
  - Installer_config
  - Kind
  - L1_operation
  - L2_message
    
    Id
    
    Error_table
    
    Map
    
    Set
    
    Table
    
    WeakRingTable
    
    H
  - Merkelized_payload_hashes_hash
  - Operation_kind
    
    Map
  - Rollup_constants
  - Rollup_node_services
    
    Admin
    
    Arg
    
    Encodings
    
    Global
    
    Local
    
    Make_services
    
    P
    
    PREFIX
    
    Query
    
    Root
  - Sc_rollup_block
  - Smart_rollup_context_hash
    
    Error_table
    
    Map
    
    Set
    
    Table
    
    WeakRingTable
    
    H
  - State_hash
  - Versioned_data
    
    S
octez-l2-libs.smart_rollup_wasm_benchmark_lib
- Octez_smart_rollup_wasm_benchmark_lib
  - Data
    
    Csv
  - Exec
  - Inputs
    
    Kernels
    
    Messages
    
    Demo
  - Measure
  - Pvm_instance
    
    PP
    
    Wasm
    
    Internal_for_tests
    
    Unsafe
    
    Wasm_fast_vm
    
    Internal_for_tests
  - Scenario
octez-l2-libs.wasmer
- Tezos_wasmer
  - Config
  - Engine
  - Exports
  - Instance
  - Memory
    
    Array
    
    Internal_for_tests
  - Module
  - Ref
  - Store
octez-l2-libs.webassembly-interpreter
- Tezos_webassembly_interpreter
  - Ast
    
    FloatOp
    
    IntOp
    
    V128Op
  - Binary_exn
    
    Decode_error
    
    Encode_error
    
    Floating_point
  - Decode
  - Durable_storage
  - Encode
  - Env
  - Error
    
    Make
  - Eval
  - Eval_num
  - Eval_vec
  - F32
  - F32_convert
  - F64
  - F64_convert
  - Free
    
    Set
  - Func
  - Fxx
    
    Make
    
    Rep
    
    RepType
    
    S
  - Global
  - Host_funcs
  - I16
  - I32
  - I32_convert
  - I64
  - I64_convert
  - I8
  - Import
  - Input_buffer
  - Instance
    
    ModuleMap
    
    Map
    
    Map
    
    NameMap
    
    Map
  - Ixx
    
    Make
    
    Rep
    
    RepType
    
    S
  - Lib
    
    Array32
    
    Bigarray
    
    Array1_64
    
    Fun
    
    Int
    
    List
    
    List32
    
    Option
    
    String
  - Memory
  - Memory_sig
    
    S
  - Operators
  - Output_buffer
    
    Internal_for_tests
  - Partial_memory
  - Partial_table
  - Proto_compat
  - Source
  - Spectest
  - Table
  - Table_sig
    
    S
  - Tick_model
  - Types
  - Utf8
  - V128
    
    F32x4
    
    F32x4_convert
    
    F64x2
    
    F64x2_convert
    
    FloatShape
    
    I16x8
    
    I16x8_convert
    
    I32x4
    
    I32x4_convert
    
    I64x2
    
    I64x2_convert
    
    I8x16
    
    I8x16_convert
    
    IntShape
    
    V1x128
    
    V8x16
  - Valid
  - Values
    
    F32Num
    
    F64Num
    
    I32Num
    
    I64Num
    
    NumType
    
    V128Vec
    
    VecType
octez-l2-libs.webassembly-interpreter-extra
- Tezos_webassembly_interpreter_extra
  - Lexer
  - Parse
  - Parser
  - Script

Legend:
Library
Module
Module type
Parameter
Class
Class type

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 load_op_gen : 
  (Tezos_webassembly_interpreter.Types.num_type,
    (Tezos_webassembly_interpreter.Types.pack_size
     * Tezos_webassembly_interpreter.Types.extension)
      option)
    Tezos_webassembly_interpreter.Ast.memop
    QCheck2.Gen.t

val store_op_gen : 
  (Tezos_webassembly_interpreter.Types.num_type,
    Tezos_webassembly_interpreter.Types.pack_size option)
    Tezos_webassembly_interpreter.Ast.memop
    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_load_op_gen : 
  (Tezos_webassembly_interpreter.Types.vec_type,
    (Tezos_webassembly_interpreter.Types.pack_size
     * Tezos_webassembly_interpreter.Types.vec_extension)
      option)
    Tezos_webassembly_interpreter.Ast.memop
    QCheck2.Gen.t

val vec_store_op_gen : 
  (Tezos_webassembly_interpreter.Types.vec_type, unit)
    Tezos_webassembly_interpreter.Ast.memop
    QCheck2.Gen.t

val vec_laneop_gen : 
  ((Tezos_webassembly_interpreter.Types.vec_type,
     Tezos_webassembly_interpreter.Types.pack_size)
     Tezos_webassembly_interpreter.Ast.memop
   * int)
    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 num_gen : 
  (int32,
    int64,
    Tezos_webassembly_interpreter.F32.t,
    Tezos_webassembly_interpreter.F64.t)
    Tezos_webassembly_interpreter.Values.op
    Tezos_webassembly_interpreter.Source.phrase
    QCheck2.Gen.t

val int_relop_gen : Tezos_webassembly_interpreter.Ast.IntOp.relop QCheck2.Gen.t

val relop_gen : 
  (Tezos_webassembly_interpreter.Ast.IntOp.relop,
    Tezos_webassembly_interpreter.Ast.IntOp.relop,
    Tezos_webassembly_interpreter.Ast.F32Op.relop,
    Tezos_webassembly_interpreter.Ast.F64Op.relop)
    Tezos_webassembly_interpreter.Values.op
    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 cvtop_gen : 
  (Tezos_webassembly_interpreter.Ast.IntOp.cvtop,
    Tezos_webassembly_interpreter.Ast.IntOp.cvtop,
    Tezos_webassembly_interpreter.Ast.F32Op.cvtop,
    Tezos_webassembly_interpreter.Ast.F64Op.cvtop)
    Tezos_webassembly_interpreter.Values.op
    QCheck2.Gen.t

val unop_gen : 
  (Tezos_webassembly_interpreter.Ast.IntOp.unop,
    Tezos_webassembly_interpreter.Ast.IntOp.unop,
    Tezos_webassembly_interpreter.Ast.F32Op.unop,
    Tezos_webassembly_interpreter.Ast.F64Op.unop)
    Tezos_webassembly_interpreter.Values.op
    QCheck2.Gen.t

val binop_gen : 
  (Tezos_webassembly_interpreter.Ast.IntOp.binop,
    Tezos_webassembly_interpreter.Ast.IntOp.binop,
    Tezos_webassembly_interpreter.Ast.F32Op.binop,
    Tezos_webassembly_interpreter.Ast.F64Op.binop)
    Tezos_webassembly_interpreter.Values.op
    QCheck2.Gen.t

val vec_gen : 
  Tezos_webassembly_interpreter.V128.t
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_webassembly_interpreter.Source.phrase
    QCheck2.Gen.t

val instr_gen : 
  Tezos_webassembly_interpreter.Ast.instr'
    Tezos_webassembly_interpreter.Source.phrase
    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 result_type_gen : 
  Tezos_webassembly_interpreter.Types.value_type
    Tezos_lazy_containers.Lazy_vector.Int32Vector.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 ast_func_gen : 
  Tezos_webassembly_interpreter.Ast.func'
    Tezos_webassembly_interpreter.Source.phrase
    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 extern_gen : 
  Tezos_webassembly_interpreter.Instance.module_key ->
  Tezos_webassembly_interpreter.Instance.extern QCheck2.Gen.t

val map_gen : 
  'a QCheck2.Gen.t ->
  'b Tezos_webassembly_interpreter.Instance.NameMap.t QCheck2.Gen.t

val elems_gen : 
  Tezos_webassembly_interpreter.Values.ref_
    Tezos_lazy_containers.Lazy_vector.Int32Vector.t
    ref
    QCheck2.Gen.t

val datas_gen : Tezos_webassembly_interpreter.Ast.data_label ref QCheck2.Gen.t

val blocks_table_gen : 
  Tezos_webassembly_interpreter.Ast.instr'
    Tezos_webassembly_interpreter.Source.phrase
    Tezos_lazy_containers.Lazy_vector.Int32Vector.t
    Tezos_lazy_containers.Lazy_vector.Int32Vector.t
    QCheck2.Gen.t

val datas_table_gen : 
  Tezos_lazy_containers.Chunked_byte_vector.t
    Tezos_lazy_containers.Lazy_vector.Int32Vector.t
    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 import_desc_gen : 
  Tezos_webassembly_interpreter.Ast.import_desc'
    Tezos_webassembly_interpreter.Source.phrase
    QCheck2.Gen.t

val export_desc_gen : 
  Tezos_webassembly_interpreter.Ast.export_desc'
    Tezos_webassembly_interpreter.Source.phrase
    QCheck2.Gen.t

val const_gen : 
  Tezos_webassembly_interpreter.Ast.block_label
    Tezos_webassembly_interpreter.Source.phrase
    QCheck2.Gen.t

val segment_mode_gen : 
  Tezos_webassembly_interpreter.Ast.segment_mode'
    Tezos_webassembly_interpreter.Source.phrase
    QCheck2.Gen.t

val start_gen : 
  Tezos_webassembly_interpreter.Ast.start'
    Tezos_webassembly_interpreter.Source.phrase
    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 input_buffer_gen : 
  Tezos_webassembly_interpreter.Input_buffer.message
    Tezos_lazy_containers.Lazy_vector.Mutable.ZVector.t
    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_result_gen : 
  Tezos_webassembly_interpreter.Eval.finished
    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