Mavryk_scoru_wasm.Wasm_pvmval pvm_state_encoding :
Wasm_pvm_state.Internal_state.pvm_state Mavryk_tree_encoding.tval durable_buffers_encoding :
Mavryk_webassembly_interpreter.Eval.buffers Mavryk_tree_encoding.tval durable_storage_encoding : Durable.t Mavryk_tree_encoding.tmodule Make
(T : Mavryk_tree_encoding.TREE) :
Wasm_pvm_sig.S with type tree = T.treemodule Make_pvm (Wasm_vm : Wasm_vm_sig.S) : module type of Make