Wasm_encoding (mavkit-l2-libs.Mavryk_scoru_wasm.Wasm

exception Uninitialized_current_module

val var_list_encoding : 
  Mavryk_webassembly_interpreter.Ast.var list Mavryk_tree_encoding.t

val instruction_encoding : 
  Mavryk_webassembly_interpreter.Ast.instr Mavryk_tree_encoding.t

val func'_encoding : 
  Mavryk_webassembly_interpreter.Ast.func' Mavryk_tree_encoding.t

val func_encoding : 
  Mavryk_webassembly_interpreter.Ast.func Mavryk_tree_encoding.t

val module_key_encoding : 
  Mavryk_webassembly_interpreter.Instance.module_key Mavryk_tree_encoding.t

val function_encoding : 
  Mavryk_webassembly_interpreter.Instance.func_inst Mavryk_tree_encoding.t

val value_ref_encoding : 
  Mavryk_webassembly_interpreter.Values.ref_ Mavryk_tree_encoding.t

val value_encoding : 
  Mavryk_webassembly_interpreter.Values.value Mavryk_tree_encoding.t

val values_encoding : 
  Mavryk_webassembly_interpreter.Values.value
    Mavryk_webassembly_interpreter.Instance.Vector.t
    Mavryk_tree_encoding.t

val memory_encoding : 
  Mavryk_webassembly_interpreter.Partial_memory.memory Mavryk_tree_encoding.t

val table_encoding : 
  Mavryk_webassembly_interpreter.Partial_table.table Mavryk_tree_encoding.t

val global_encoding : 
  Mavryk_webassembly_interpreter.Global.global Mavryk_tree_encoding.t

val export_instance_encoding : 
  Mavryk_webassembly_interpreter.Instance.export_inst Mavryk_tree_encoding.t

val memory_instance_encoding : 
  Mavryk_webassembly_interpreter.Partial_memory.memory
    Mavryk_webassembly_interpreter.Instance.Vector.t
    Mavryk_tree_encoding.t

val table_vector_encoding : 
  Mavryk_webassembly_interpreter.Partial_table.table
    Mavryk_webassembly_interpreter.Instance.Vector.t
    Mavryk_tree_encoding.t

val global_vector_encoding : 
  Mavryk_webassembly_interpreter.Global.global
    Mavryk_webassembly_interpreter.Instance.Vector.t
    Mavryk_tree_encoding.t

val data_label_ref_encoding : 
  Mavryk_webassembly_interpreter.Ast.data_label Stdlib.ref
    Mavryk_tree_encoding.t

val function_vector_encoding : 
  Mavryk_webassembly_interpreter.Instance.func_inst
    Mavryk_webassembly_interpreter.Instance.Vector.t
    Mavryk_tree_encoding.t

val func_type_encoding : 
  Mavryk_webassembly_interpreter.Types.func_type Mavryk_tree_encoding.t

val function_type_vector_encoding : 
  Mavryk_webassembly_interpreter.Types.func_type
    Mavryk_webassembly_interpreter.Instance.Vector.t
    Mavryk_tree_encoding.t

val value_ref_vector_encoding : 
  Mavryk_webassembly_interpreter.Values.ref_
    Mavryk_webassembly_interpreter.Instance.Vector.t
    Mavryk_tree_encoding.t

val extern_encoding : 
  Mavryk_webassembly_interpreter.Instance.extern Mavryk_tree_encoding.t

val extern_map_encoding : 
  Mavryk_webassembly_interpreter.Instance.extern
    Mavryk_webassembly_interpreter.Instance.NameMap.t
    Mavryk_tree_encoding.t

val value_ref_vector_vector_encoding : 
  Mavryk_webassembly_interpreter.Values.ref_
    Mavryk_webassembly_interpreter.Instance.Vector.t
    Stdlib.ref
    Mavryk_webassembly_interpreter.Instance.Vector.t
    Mavryk_tree_encoding.t

val block_table_encoding : 
  Mavryk_webassembly_interpreter.Ast.block_table Mavryk_tree_encoding.t

val datas_table_encoding : 
  Mavryk_webassembly_interpreter.Ast.datas_table Mavryk_tree_encoding.t

val allocations_encoding : 
  Mavryk_webassembly_interpreter.Ast.allocations Mavryk_tree_encoding.t

val module_instance_encoding : 
  Mavryk_webassembly_interpreter.Instance.module_inst Mavryk_tree_encoding.t

val module_instances_encoding : 
  Mavryk_webassembly_interpreter.Instance.module_reg Mavryk_tree_encoding.t

val input_buffer_encoding : 
  Mavryk_webassembly_interpreter.Input_buffer.t Mavryk_tree_encoding.t

val output_buffer_encoding : 
  Mavryk_webassembly_interpreter.Output_buffer.t Mavryk_tree_encoding.t

val admin_instr_encoding : 
  Mavryk_webassembly_interpreter.Eval.admin_instr Mavryk_tree_encoding.t

val frame_encoding : 
  Mavryk_webassembly_interpreter.Eval.frame Mavryk_tree_encoding.t

val config_encoding : 
  Mavryk_webassembly_interpreter.Eval.config Mavryk_tree_encoding.t

val buffers_encoding : 
  Mavryk_webassembly_interpreter.Eval.buffers Mavryk_tree_encoding.t

module Internal_for_tests : sig ... end