Context_wrapper.Riscvtype repo = Tezos_layer2_riscv_context.Riscv_context.repotype state = Tezos_layer2_riscv_context.Riscv_context.statetype mut_state = Tezos_layer2_riscv_context.Riscv_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 of_node_pvmstate : _ Tezos_layer2_store.Context.pvmstate -> mut_stateWARNING: erase access permissions information.