octez-l2-libs 20.1 · OCaml Package

module IntOp : sig ... end

module V128Op : sig ... end

val testop_encoding : 
  Tezos_webassembly_interpreter.Ast.testop
    Tezos_base.TzPervasives.Data_encoding.t

val unop_encoding : 
  Tezos_webassembly_interpreter.Ast.unop
    Tezos_base.TzPervasives.Data_encoding.t

val binop_encoding : 
  Tezos_webassembly_interpreter.Ast.binop
    Tezos_base.TzPervasives.Data_encoding.t

val relop_encoding : 
  Tezos_webassembly_interpreter.Ast.relop
    Tezos_base.TzPervasives.Data_encoding.t

val cvtop_encoding : 
  Tezos_webassembly_interpreter.Ast.cvtop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_testop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.testop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_relop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.relop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_unop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.unop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_binop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.binop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_cvtop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.cvtop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_shiftop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.shiftop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_bitmaskop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.bitmaskop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_vtestop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.vtestop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_vunop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.vunop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_vbinop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.vbinop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_vternop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.vternop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_splatop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.splatop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_extractop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.extractop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_replaceop_encoding : 
  Tezos_webassembly_interpreter.Ast.V128Op.replaceop
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_base.TzPervasives.Data_encoding.t

val memop_encoding : 
  'a Tezos_base.TzPervasives.Data_encoding.t ->
  'b Tezos_base.TzPervasives.Data_encoding.t ->
  ('a, 'b) Tezos_webassembly_interpreter.Ast.memop
    Tezos_base.TzPervasives.Data_encoding.t

val loadop_encoding : 
  (Tezos_webassembly_interpreter.Types.num_type,
    (Tezos_webassembly_interpreter.Types.pack_size
     * Tezos_webassembly_interpreter.Types.extension)
      option)
    Tezos_webassembly_interpreter.Ast.memop
    Tezos_base.TzPervasives.Data_encoding.t

val storeop_encoding : 
  (Tezos_webassembly_interpreter.Types.num_type,
    Tezos_webassembly_interpreter.Types.pack_size option)
    Tezos_webassembly_interpreter.Ast.memop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_loadop_encoding : 
  (Tezos_webassembly_interpreter.Types.vec_type,
    (Tezos_webassembly_interpreter.Types.pack_size
     * Tezos_webassembly_interpreter.Types.vec_extension)
      option)
    Tezos_webassembly_interpreter.Ast.memop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_storeop_encoding : 
  (Tezos_webassembly_interpreter.Types.vec_type, unit)
    Tezos_webassembly_interpreter.Ast.memop
    Tezos_base.TzPervasives.Data_encoding.t

val vec_laneop_encoding : 
  ((Tezos_webassembly_interpreter.Types.vec_type,
     Tezos_webassembly_interpreter.Types.pack_size)
     Tezos_webassembly_interpreter.Ast.memop
   * int)
    Tezos_base.TzPervasives.Data_encoding.t

val var_encoding : 
  int32 Tezos_webassembly_interpreter.Source.phrase
    Tezos_base.TzPervasives.Data_encoding.t

val num_encoding : 
  Tezos_webassembly_interpreter.Values.num
    Tezos_webassembly_interpreter.Source.phrase
    Tezos_base.TzPervasives.Data_encoding.t

val vec_encoding : 
  Tezos_webassembly_interpreter.V128.t
    Tezos_webassembly_interpreter.Values.vecop
    Tezos_webassembly_interpreter.Source.phrase
    Tezos_base.TzPervasives.Data_encoding.t

val block_type_encoding : 
  Tezos_webassembly_interpreter.Ast.block_type
    Tezos_base.TzPervasives.Data_encoding.t

val block_label_encoding : 
  Tezos_webassembly_interpreter.Ast.block_label
    Tezos_base.TzPervasives.Data_encoding.t

val data_label_encoding : 
  Tezos_webassembly_interpreter.Ast.data_label
    Tezos_base.TzPervasives.Data_encoding.t

val import_desc_encoding : 
  Tezos_webassembly_interpreter.Ast.import_desc
    Tezos_base.TzPervasives.Data_encoding.t

val export_desc_encoding : 
  Tezos_webassembly_interpreter.Ast.export_desc
    Tezos_base.TzPervasives.Data_encoding.t

val const_encoding : 
  Tezos_webassembly_interpreter.Ast.const
    Tezos_base.TzPervasives.Data_encoding.t

val segment_mode_encoding : 
  Tezos_webassembly_interpreter.Ast.segment_mode
    Tezos_base.TzPervasives.Data_encoding.t

val table_encoding : 
  Tezos_webassembly_interpreter.Ast.table
    Tezos_base.TzPervasives.Data_encoding.t

val memory_encoding : 
  Tezos_webassembly_interpreter.Ast.memory
    Tezos_base.TzPervasives.Data_encoding.t

val global_encoding : 
  Tezos_webassembly_interpreter.Ast.global
    Tezos_base.TzPervasives.Data_encoding.t

val start_encoding : 
  Tezos_webassembly_interpreter.Ast.start
    Tezos_base.TzPervasives.Data_encoding.t

package octez-l2-libs