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

val i32_const : I32.t Source.phrase -> Ast.instr'

val i64_const : I64.t Source.phrase -> Ast.instr'

val f32_const : F32.t Source.phrase -> Ast.instr'

val f64_const : F64.t Source.phrase -> Ast.instr'

val v128_const : V128.t Source.phrase -> Ast.instr'

val ref_null : Types.ref_type -> Ast.instr'

val ref_func : Ast.var -> Ast.instr'

val unreachable : Ast.instr'

val nop : Ast.instr'

val drop : Ast.instr'

val select : Types.value_type list option -> Ast.instr'

val block : Ast.block_type -> Ast.block_label -> Ast.instr'

val loop : Ast.block_type -> Ast.block_label -> Ast.instr'

val if_ : Ast.block_type -> Ast.block_label -> Ast.block_label -> Ast.instr'

val br : Ast.var -> Ast.instr'

val br_if : Ast.var -> Ast.instr'

val br_table : Ast.var list -> Ast.var -> Ast.instr'

val return : Ast.instr'

val call : Ast.var -> Ast.instr'

val call_indirect : Ast.var -> Ast.var -> Ast.instr'

val local_get : Ast.var -> Ast.instr'

val local_set : Ast.var -> Ast.instr'

val local_tee : Ast.var -> Ast.instr'

val global_get : Ast.var -> Ast.instr'

val global_set : Ast.var -> Ast.instr'

val table_get : Ast.var -> Ast.instr'

val table_set : Ast.var -> Ast.instr'

val table_size : Ast.var -> Ast.instr'

val table_grow : Ast.var -> Ast.instr'

val table_fill : Ast.var -> Ast.instr'

val table_copy : Ast.var -> Ast.var -> Ast.instr'

val table_init : Ast.var -> Ast.var -> Ast.instr'

val elem_drop : Ast.var -> Ast.instr'

val i32_load : int -> int32 -> Ast.instr'

val i64_load : int -> int32 -> Ast.instr'

val f32_load : int -> int32 -> Ast.instr'

val f64_load : int -> int32 -> Ast.instr'

val i32_load8_s : int -> int32 -> Ast.instr'

val i32_load8_u : int -> int32 -> Ast.instr'

val i32_load16_s : int -> int32 -> Ast.instr'

val i32_load16_u : int -> int32 -> Ast.instr'

val i64_load8_s : int -> int32 -> Ast.instr'

val i64_load8_u : int -> int32 -> Ast.instr'

val i64_load16_s : int -> int32 -> Ast.instr'

val i64_load16_u : int -> int32 -> Ast.instr'

val i64_load32_s : int -> int32 -> Ast.instr'

val i64_load32_u : int -> int32 -> Ast.instr'

val i32_store : int -> int32 -> Ast.instr'

val i64_store : int -> int32 -> Ast.instr'

val f32_store : int -> int32 -> Ast.instr'

val f64_store : int -> int32 -> Ast.instr'

val i32_store8 : int -> int32 -> Ast.instr'

val i32_store16 : int -> int32 -> Ast.instr'

val i64_store8 : int -> int32 -> Ast.instr'

val i64_store16 : int -> int32 -> Ast.instr'

val i64_store32 : int -> int32 -> Ast.instr'

val memory_size : Ast.instr'

val memory_grow : Ast.instr'

val memory_fill : Ast.instr'

val memory_copy : Ast.instr'

val memory_init : Ast.var -> Ast.instr'

val data_drop : Ast.var -> Ast.instr'

val ref_is_null : Ast.instr'

val i32_clz : Ast.instr'

val i32_ctz : Ast.instr'

val i32_popcnt : Ast.instr'

val i64_clz : Ast.instr'

val i64_ctz : Ast.instr'

val i64_popcnt : Ast.instr'

val f32_neg : Ast.instr'

val f32_abs : Ast.instr'

val f32_sqrt : Ast.instr'

val f32_ceil : Ast.instr'

val f32_floor : Ast.instr'

val f32_trunc : Ast.instr'

val f32_nearest : Ast.instr'

val f64_neg : Ast.instr'

val f64_abs : Ast.instr'

val f64_sqrt : Ast.instr'

val f64_ceil : Ast.instr'

val f64_floor : Ast.instr'

val f64_trunc : Ast.instr'

val f64_nearest : Ast.instr'

val i32_add : Ast.instr'

val i32_sub : Ast.instr'

val i32_mul : Ast.instr'

val i32_div_s : Ast.instr'

val i32_div_u : Ast.instr'

val i32_rem_s : Ast.instr'

val i32_rem_u : Ast.instr'

val i32_and : Ast.instr'

val i32_or : Ast.instr'

val i32_xor : Ast.instr'

val i32_shl : Ast.instr'

val i32_shr_s : Ast.instr'

val i32_shr_u : Ast.instr'

val i32_rotl : Ast.instr'

val i32_rotr : Ast.instr'

val i64_add : Ast.instr'

val i64_sub : Ast.instr'

val i64_mul : Ast.instr'

val i64_div_s : Ast.instr'

val i64_div_u : Ast.instr'

val i64_rem_s : Ast.instr'

val i64_rem_u : Ast.instr'

val i64_and : Ast.instr'

val i64_or : Ast.instr'

val i64_xor : Ast.instr'

val i64_shl : Ast.instr'

val i64_shr_s : Ast.instr'

val i64_shr_u : Ast.instr'

val i64_rotl : Ast.instr'

val i64_rotr : Ast.instr'

val f32_add : Ast.instr'

val f32_sub : Ast.instr'

val f32_mul : Ast.instr'

val f32_div : Ast.instr'

val f32_min : Ast.instr'

val f32_max : Ast.instr'

val f32_copysign : Ast.instr'

val f64_add : Ast.instr'

val f64_sub : Ast.instr'

val f64_mul : Ast.instr'

val f64_div : Ast.instr'

val f64_min : Ast.instr'

val f64_max : Ast.instr'

val f64_copysign : Ast.instr'

val i32_eqz : Ast.instr'

val i64_eqz : Ast.instr'

val i32_eq : Ast.instr'

val i32_ne : Ast.instr'

val i32_lt_s : Ast.instr'

val i32_lt_u : Ast.instr'

val i32_le_s : Ast.instr'

val i32_le_u : Ast.instr'

val i32_gt_s : Ast.instr'

val i32_gt_u : Ast.instr'

val i32_ge_s : Ast.instr'

val i32_ge_u : Ast.instr'

val i64_eq : Ast.instr'

val i64_ne : Ast.instr'

val i64_lt_s : Ast.instr'

val i64_lt_u : Ast.instr'

val i64_le_s : Ast.instr'

val i64_le_u : Ast.instr'

val i64_gt_s : Ast.instr'

val i64_gt_u : Ast.instr'

val i64_ge_s : Ast.instr'

val i64_ge_u : Ast.instr'

val f32_eq : Ast.instr'

val f32_ne : Ast.instr'

val f32_lt : Ast.instr'

val f32_le : Ast.instr'

val f32_gt : Ast.instr'

val f32_ge : Ast.instr'

val f64_eq : Ast.instr'

val f64_ne : Ast.instr'

val f64_lt : Ast.instr'

val f64_le : Ast.instr'

val f64_gt : Ast.instr'

val f64_ge : Ast.instr'

val i32_extend8_s : Ast.instr'

val i32_extend16_s : Ast.instr'

val i64_extend8_s : Ast.instr'

val i64_extend16_s : Ast.instr'

val i64_extend32_s : Ast.instr'

val i32_wrap_i64 : Ast.instr'

val i32_trunc_f32_s : Ast.instr'

val i32_trunc_f32_u : Ast.instr'

val i32_trunc_f64_s : Ast.instr'

val i32_trunc_f64_u : Ast.instr'

val i32_trunc_sat_f32_s : Ast.instr'

val i32_trunc_sat_f32_u : Ast.instr'

val i32_trunc_sat_f64_s : Ast.instr'

val i32_trunc_sat_f64_u : Ast.instr'

val i64_extend_i32_s : Ast.instr'

val i64_extend_i32_u : Ast.instr'

val i64_trunc_f32_s : Ast.instr'

val i64_trunc_f32_u : Ast.instr'

val i64_trunc_f64_s : Ast.instr'

val i64_trunc_f64_u : Ast.instr'

val f32_convert_i32_s : Ast.instr'

val f32_convert_i32_u : Ast.instr'

val f32_convert_i64_s : Ast.instr'

val f32_convert_i64_u : Ast.instr'

val i64_trunc_sat_f32_s : Ast.instr'

val i64_trunc_sat_f32_u : Ast.instr'

val i64_trunc_sat_f64_s : Ast.instr'

val i64_trunc_sat_f64_u : Ast.instr'

val f32_demote_f64 : Ast.instr'

val f64_convert_i32_s : Ast.instr'

val f64_convert_i32_u : Ast.instr'

val f64_convert_i64_s : Ast.instr'

val f64_convert_i64_u : Ast.instr'

val f64_promote_f32 : Ast.instr'

val i32_reinterpret_f32 : Ast.instr'

val i64_reinterpret_f64 : Ast.instr'

val f32_reinterpret_i32 : Ast.instr'

val f64_reinterpret_i64 : Ast.instr'

val v128_load : int -> int32 -> Ast.instr'

val v128_load8x8_s : int -> int32 -> Ast.instr'

val v128_load8x8_u : int -> int32 -> Ast.instr'

val v128_load16x4_s : int -> int32 -> Ast.instr'

val v128_load16x4_u : int -> int32 -> Ast.instr'

val v128_load32x2_s : int -> int32 -> Ast.instr'

val v128_load32x2_u : int -> int32 -> Ast.instr'

val v128_load8_splat : int -> int32 -> Ast.instr'

val v128_load16_splat : int -> int32 -> Ast.instr'

val v128_load32_splat : int -> int32 -> Ast.instr'

val v128_load64_splat : int -> int32 -> Ast.instr'

val v128_load32_zero : int -> int32 -> Ast.instr'

val v128_load64_zero : int -> int32 -> Ast.instr'

val v128_store : int -> int32 -> Ast.instr'

val v128_load8_lane : int -> int32 -> int -> Ast.instr'

val v128_load16_lane : int -> int32 -> int -> Ast.instr'

val v128_load32_lane : int -> int32 -> int -> Ast.instr'

val v128_load64_lane : int -> int32 -> int -> Ast.instr'

val v128_store8_lane : int -> int32 -> int -> Ast.instr'

val v128_store16_lane : int -> int32 -> int -> Ast.instr'

val v128_store32_lane : int -> int32 -> int -> Ast.instr'

val v128_store64_lane : int -> int32 -> int -> Ast.instr'

val v128_not : Ast.instr'

val v128_and : Ast.instr'

val v128_andnot : Ast.instr'

val v128_or : Ast.instr'

val v128_xor : Ast.instr'

val v128_bitselect : Ast.instr'

val v128_any_true : Ast.instr'

val i8x16_swizzle : Ast.instr'

val i8x16_shuffle : int list -> Ast.instr'

val i8x16_splat : Ast.instr'

val i8x16_extract_lane_s : int -> Ast.instr'

val i8x16_extract_lane_u : int -> Ast.instr'

val i8x16_replace_lane : int -> Ast.instr'

val i8x16_eq : Ast.instr'

val i8x16_ne : Ast.instr'

val i8x16_lt_s : Ast.instr'

val i8x16_lt_u : Ast.instr'

val i8x16_le_s : Ast.instr'

val i8x16_le_u : Ast.instr'

val i8x16_gt_s : Ast.instr'

val i8x16_gt_u : Ast.instr'

val i8x16_ge_s : Ast.instr'

val i8x16_ge_u : Ast.instr'

val i8x16_neg : Ast.instr'

val i8x16_bitmask : Ast.instr'

val i8x16_all_true : Ast.instr'

val i8x16_narrow_i16x8_s : Ast.instr'

val i8x16_narrow_i16x8_u : Ast.instr'

val i16x8_extend_low_i8x16_s : Ast.instr'

val i16x8_extend_high_i8x16_s : Ast.instr'

val i16x8_extend_low_i8x16_u : Ast.instr'

val i16x8_extend_high_i8x16_u : Ast.instr'

val i8x16_shl : Ast.instr'

val i8x16_shr_s : Ast.instr'

val i8x16_shr_u : Ast.instr'

val i8x16_add : Ast.instr'

val i8x16_add_sat_s : Ast.instr'

val i8x16_add_sat_u : Ast.instr'

val i8x16_sub : Ast.instr'

val i8x16_sub_sat_s : Ast.instr'

val i8x16_sub_sat_u : Ast.instr'

val i8x16_abs : Ast.instr'

val i8x16_popcnt : Ast.instr'

val i8x16_min_s : Ast.instr'

val i8x16_min_u : Ast.instr'

val i8x16_max_s : Ast.instr'

val i8x16_max_u : Ast.instr'

val i8x16_avgr_u : Ast.instr'

val i16x8_splat : Ast.instr'

val i16x8_extract_lane_s : int -> Ast.instr'

val i16x8_extract_lane_u : int -> Ast.instr'

val i16x8_replace_lane : int -> Ast.instr'

val i16x8_eq : Ast.instr'

val i16x8_ne : Ast.instr'

val i16x8_lt_s : Ast.instr'

val i16x8_lt_u : Ast.instr'

val i16x8_le_s : Ast.instr'

val i16x8_le_u : Ast.instr'

val i16x8_gt_s : Ast.instr'

val i16x8_gt_u : Ast.instr'

val i16x8_ge_s : Ast.instr'

val i16x8_ge_u : Ast.instr'

val i16x8_neg : Ast.instr'

val i16x8_bitmask : Ast.instr'

val i16x8_all_true : Ast.instr'

val i16x8_narrow_i32x4_s : Ast.instr'

val i16x8_narrow_i32x4_u : Ast.instr'

val i16x8_shl : Ast.instr'

val i16x8_shr_s : Ast.instr'

val i16x8_shr_u : Ast.instr'

val i16x8_add : Ast.instr'

val i16x8_add_sat_s : Ast.instr'

val i16x8_add_sat_u : Ast.instr'

val i16x8_sub : Ast.instr'

val i16x8_sub_sat_s : Ast.instr'

val i16x8_sub_sat_u : Ast.instr'

val i16x8_mul : Ast.instr'

val i16x8_abs : Ast.instr'

val i16x8_min_s : Ast.instr'

val i16x8_min_u : Ast.instr'

val i16x8_max_s : Ast.instr'

val i16x8_max_u : Ast.instr'

val i16x8_avgr_u : Ast.instr'

val i16x8_extmul_low_i8x16_s : Ast.instr'

val i16x8_extmul_high_i8x16_s : Ast.instr'

val i16x8_extmul_low_i8x16_u : Ast.instr'

val i16x8_extmul_high_i8x16_u : Ast.instr'

val i16x8_q15mulr_sat_s : Ast.instr'

val i16x8_extadd_pairwise_i8x16_s : Ast.instr'

val i16x8_extadd_pairwise_i8x16_u : Ast.instr'

val i32x4_splat : Ast.instr'

val i32x4_extract_lane : int -> Ast.instr'

val i32x4_replace_lane : int -> Ast.instr'

val i32x4_eq : Ast.instr'

val i32x4_ne : Ast.instr'

val i32x4_lt_s : Ast.instr'

val i32x4_lt_u : Ast.instr'

val i32x4_le_s : Ast.instr'

val i32x4_le_u : Ast.instr'

val i32x4_gt_s : Ast.instr'

val i32x4_gt_u : Ast.instr'

val i32x4_ge_s : Ast.instr'

val i32x4_ge_u : Ast.instr'

val i32x4_abs : Ast.instr'

val i32x4_neg : Ast.instr'

val i32x4_bitmask : Ast.instr'

val i32x4_all_true : Ast.instr'

val i32x4_extend_low_i16x8_s : Ast.instr'

val i32x4_extend_high_i16x8_s : Ast.instr'

val i32x4_extend_low_i16x8_u : Ast.instr'

val i32x4_extend_high_i16x8_u : Ast.instr'

val i32x4_shl : Ast.instr'

val i32x4_shr_s : Ast.instr'

val i32x4_shr_u : Ast.instr'

val i32x4_add : Ast.instr'

val i32x4_sub : Ast.instr'

val i32x4_min_s : Ast.instr'

val i32x4_min_u : Ast.instr'

val i32x4_max_s : Ast.instr'

val i32x4_max_u : Ast.instr'

val i32x4_mul : Ast.instr'

val i32x4_dot_i16x8_s : Ast.instr'

val i32x4_trunc_sat_f32x4_s : Ast.instr'

val i32x4_trunc_sat_f32x4_u : Ast.instr'

val i32x4_trunc_sat_f64x2_s_zero : Ast.instr'

val i32x4_trunc_sat_f64x2_u_zero : Ast.instr'

val i32x4_extmul_low_i16x8_s : Ast.instr'

val i32x4_extmul_high_i16x8_s : Ast.instr'

val i32x4_extmul_low_i16x8_u : Ast.instr'

val i32x4_extmul_high_i16x8_u : Ast.instr'

val i32x4_extadd_pairwise_i16x8_s : Ast.instr'

val i32x4_extadd_pairwise_i16x8_u : Ast.instr'

val i64x2_splat : Ast.instr'

val i64x2_extract_lane : int -> Ast.instr'

val i64x2_replace_lane : int -> Ast.instr'

val i64x2_extend_low_i32x4_s : Ast.instr'

val i64x2_extend_high_i32x4_s : Ast.instr'

val i64x2_extend_low_i32x4_u : Ast.instr'

val i64x2_extend_high_i32x4_u : Ast.instr'

val i64x2_eq : Ast.instr'

val i64x2_ne : Ast.instr'

val i64x2_lt_s : Ast.instr'

val i64x2_le_s : Ast.instr'

val i64x2_gt_s : Ast.instr'

val i64x2_ge_s : Ast.instr'

val i64x2_abs : Ast.instr'

val i64x2_neg : Ast.instr'

val i64x2_bitmask : Ast.instr'

val i64x2_all_true : Ast.instr'

val i64x2_add : Ast.instr'

val i64x2_sub : Ast.instr'

val i64x2_mul : Ast.instr'

val i64x2_shl : Ast.instr'

val i64x2_shr_s : Ast.instr'

val i64x2_shr_u : Ast.instr'

val i64x2_extmul_low_i32x4_s : Ast.instr'

val i64x2_extmul_high_i32x4_s : Ast.instr'

val i64x2_extmul_low_i32x4_u : Ast.instr'

val i64x2_extmul_high_i32x4_u : Ast.instr'

val f32x4_splat : Ast.instr'

val f32x4_extract_lane : int -> Ast.instr'

val f32x4_replace_lane : int -> Ast.instr'

val f32x4_eq : Ast.instr'

val f32x4_ne : Ast.instr'

val f32x4_lt : Ast.instr'

val f32x4_le : Ast.instr'

val f32x4_gt : Ast.instr'

val f32x4_ge : Ast.instr'

val f32x4_abs : Ast.instr'

val f32x4_neg : Ast.instr'

val f32x4_sqrt : Ast.instr'

val f32x4_ceil : Ast.instr'

val f32x4_floor : Ast.instr'

val f32x4_trunc : Ast.instr'

val f32x4_nearest : Ast.instr'

val f32x4_add : Ast.instr'

val f32x4_sub : Ast.instr'

val f32x4_mul : Ast.instr'

val f32x4_div : Ast.instr'

val f32x4_min : Ast.instr'

val f32x4_max : Ast.instr'

val f32x4_pmin : Ast.instr'

val f32x4_pmax : Ast.instr'

val f32x4_demote_f64x2_zero : Ast.instr'

val f32x4_convert_i32x4_s : Ast.instr'

val f32x4_convert_i32x4_u : Ast.instr'

val f64x2_splat : Ast.instr'

val f64x2_extract_lane : int -> Ast.instr'

val f64x2_replace_lane : int -> Ast.instr'

val f64x2_eq : Ast.instr'

val f64x2_ne : Ast.instr'

val f64x2_lt : Ast.instr'

val f64x2_le : Ast.instr'

val f64x2_gt : Ast.instr'

val f64x2_ge : Ast.instr'

val f64x2_neg : Ast.instr'

val f64x2_sqrt : Ast.instr'

val f64x2_ceil : Ast.instr'

val f64x2_floor : Ast.instr'

val f64x2_trunc : Ast.instr'

val f64x2_nearest : Ast.instr'

val f64x2_add : Ast.instr'

val f64x2_sub : Ast.instr'

val f64x2_mul : Ast.instr'

val f64x2_div : Ast.instr'

val f64x2_min : Ast.instr'

val f64x2_max : Ast.instr'

val f64x2_abs : Ast.instr'

val f64x2_pmin : Ast.instr'

val f64x2_pmax : Ast.instr'

val f64x2_promote_low_f32x4 : Ast.instr'

val f64x2_convert_low_i32x4_s : Ast.instr'

val f64x2_convert_low_i32x4_u : Ast.instr'