Context_wrapper.IrminSpecialized module to handle translation to/from Irmin_context. Directly used in Arith, Wasm_2_0_0 and RISC-V PVM
type repo = Tezos_layer2_irmin_context.Irmin_context.repotype state = Tezos_layer2_irmin_context.Irmin_context.statetype mut_state = Tezos_layer2_irmin_context.Irmin_context.mut_stateType used by the mutable API for PVMs
val of_node_context :
'a Tezos_layer2_store.Context.index ->
('a, repo) Tezos_layer2_store.Context_sigs.indexval to_node_context :
('a, repo) Tezos_layer2_store.Context_sigs.index ->
'a Tezos_layer2_store.Context.indexval of_node_pvmstate : _ Tezos_layer2_store.Context.pvmstate -> mut_stateWARNING: erase access permissions information.
val to_node_pvmstate :
mut_state ->
Tezos_layer2_store.Access_mode.rw Tezos_layer2_store.Context.pvmstateWARNING: inject any access permissions information.