PVMState (octez-l2-libs.Tezos_layer2_riscv_context.Riscv

type value = tree

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

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

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

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