Binary_parser_encodings (mavkit-l2-libs.Mavryk_scoru_wasm.Binary_parser

module V = Mavryk_webassembly_interpreter.Instance.Vector

module M = Mavryk_webassembly_interpreter.Instance.NameMap

module C = Mavryk_lazy_containers.Chunked_byte_vector

val no_region_encoding : 
  'a Mavryk_tree_encoding.t ->
  'b Mavryk_webassembly_interpreter.Source.phrase Mavryk_tree_encoding.t

val vector_encoding : 
  'a Mavryk_tree_encoding.t ->
  'a Mavryk_lazy_containers.Lazy_vector.Int32Vector.t Mavryk_tree_encoding.t

module Lazy_vec : sig ... end

module Lazy_stack : sig ... end

module Byte_vector : sig ... end

module Name : sig ... end

module Func_type : sig ... end

val name_encoding : string Mavryk_tree_encoding.t

module Import : sig ... end

module Export : sig ... end

module Size : sig ... end

module Instr_block : sig ... end

module Block : sig ... end

module Code : sig ... end

module Elem : sig ... end

module Data : sig ... end

module Field : sig ... end

module Module : sig ... end

module Building_state : sig ... end

module Decode : sig ... end