PVMState (octez-l2-libs.Tezos_layer2_riscv_context.Riscv

type value = mut_state

val empty : unit -> Octez_riscv_pvm.Storage.Mutable_state.t

val find : 
  ([< `Read | `Write Read ], 'a, Octez_riscv_pvm.Storage.Mutable_state.t)
    Tezos_layer2_store.Context_sigs.t ->
  Octez_riscv_pvm.Storage.Mutable_state.t option Lwt.t

val lookup : 
  Octez_riscv_pvm.Storage.Mutable_state.t ->
  string list ->
  bytes option Lwt.t

val set : 
  ([< `Read | `Write Read ], 'a, Octez_riscv_pvm.Storage.Mutable_state.t)
    Tezos_layer2_store.Context_sigs.t ->
  Octez_riscv_pvm.Storage.Mutable_state.t ->
  unit Lwt.t