Module Irmin_context.PVMState

State of the PVM that this rollup node deals with

type value = tree

The value of a PVM state

val empty : unit -> value

empty () is the empty PVM state.

val find : _ t -> value option Lwt.t

find context returns the PVM state stored in the context, if any.

val get : _ t -> value Lwt.t
val lookup : value -> string list -> bytes option Lwt.t

lookup state path returns the data stored for the path path in the PVM state state.

val set : 'a t -> value -> 'a t Lwt.t

set context state saves the PVM state state in the context and returns the updated context. Note: set does not perform any write on disk, this information must be committed using commit.