Tezos_smart_rollup_021_PsQuebec.Context_helpersmodule In_memory :
Tezos_protocol_021_PsQuebec.Protocol.Alpha_context.Sc_rollup.Generic_pvm_context_sig
with type Tree.tree = Tezos_context_memory.Context_binary.tree
and type Tree.t = Tezos_context_memory.Context_binary.t
and type proof =
Tezos_context_memory.Context.Proof.tree
Tezos_context_memory.Context.Proof.tIn_memory is a context that can be used to instantiate an Arith or Wasm PVM. It's signature is Protocol.Alpha_context.Sc_rollup.Generic_pvm_context_sig