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 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.