Context_helpers (mavkit-protocol-001-PtAtLas-libs.Mavryk_smart_rollup_001_PtAtLas.Context

module In_memory : 
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Sc_rollup.Generic_pvm_context_sig
    with type Tree.tree = Mavryk_context_memory.Context_binary.tree
     and type Tree.t = Mavryk_context_memory.Context_binary.t
     and type proof =
           Mavryk_context_memory.Context.Proof.tree
             Mavryk_context_memory.Context.Proof.t

In_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