Tezos_smart_rollup_024_PtTALLiN.Context_helpersmodule In_memory :
Tezos_protocol_024_PtTALLiN.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