plebeia.test_utils
WithSimulation.F
plebeia
plebeia.msync
module Name : sig ... end
type name = Name.t
module Path : sig ... end
module FsError : sig ... end
type error = FsError.t
type view = Plebeia.Node_type.view
type raw_cursor = Plebeia.Cursor.t
type cursor = {
cur : Plebeia.Cursor.t;
rev_path : Name.t list;
}
type hash = Plebeia.Hash.Prefix.t
val make : Plebeia.Cursor.t -> Name.t list -> cursor
val empty : Plebeia.Context.t -> cursor
val get_raw_cursor : cursor -> Plebeia.Cursor.t
val get_view : cursor -> cursor * Plebeia.Node_type.view
val context : cursor -> Plebeia.Context.t
val split : 'a list -> 'a list * 'a
module Op : sig ... end
module Op_lwt : sig ... end
module Merkle_proof : sig ... end
module Vc : sig ... end
val write_top_cursor : cursor -> (cursor * (Plebeia.Index.t * Plebeia.Hash.Prefix.t), Plebeia.Error.t) result