Module Context.PVMState

State of the PVM that this rollup node deals with

type value = pvmstate

The value of a PVM state

val empty : 'a index -> value

empty () is the empty PVM state.

val find : 'a t -> value option Lwt.t

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

get context is the same as find but fails if there is no PVM state stored in the context.

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.