Pvm_instance (mavkit-l2-libs.Mavkit_smart_rollup_wasm_benchmark_lib.Pvm

module Wasm : 
  Mavryk_scoru_wasm.Wasm_pvm_sig.S
    with type tree = Mavryk_scoru_wasm_helpers.Encodings_util.Tree.tree

PVM instance used in benchmark

module Wasm_fast_vm : Mavryk_scoru_wasm.Wasm_vm_sig.S

val encode_pvm_state : 
  Mavryk_scoru_wasm.Wasm_pvm_state.Internal_state.pvm_state ->
  Wasm.tree ->
  Wasm.tree Lwt.t

val decode_pvm_state : 
  Wasm.tree ->
  Mavryk_scoru_wasm.Wasm_pvm_state.Internal_state.pvm_state Lwt.t

val get_tick_from_tree : Wasm.tree -> Z.t Lwt.t

val get_tick_from_pvm_state : 
  Mavryk_scoru_wasm.Wasm_pvm_state.Internal_state.pvm_state ->
  Z.t Lwt.t

module PP : sig ... end

Pretty Printing utilities

val builtins : Mavryk_scoru_wasm.Builtins.reveals