module Name : sig ... endtype name = Name.tmodule Path : sig ... endtype view = Plebeia.Node_type.viewtype raw_cursor = Plebeia.Cursor.ttype hash = Plebeia.Hash.Prefix.ttype error = | Is_file of string * Path.t| Is_directory of string * Path.t| No_such_file_or_directory of string * Path.t| File_or_directory_exists of string * Path.t| Path_decode_failure of Plebeia.Segment.t| Other of string * stringval error_fs : error -> ('a, Plebeia.Error.t) Stdlib.resultval make : Plebeia.Cursor.t -> Name.t list -> cursorval empty : Plebeia.Context.t -> cursorval get_raw_cursor : cursor -> Plebeia.Cursor.tval get_view : cursor -> cursor * Plebeia.Node_type.viewval context : cursor -> Plebeia.Context.tmodule Op : sig ... endmodule Op_lwt : sig ... endmodule Merkle_proof : sig ... endmodule Vc : sig ... endval write_top_cursor :
cursor ->
(cursor * (Plebeia.Index.t * Plebeia.Hash.Prefix.t), Plebeia.Error.t)
Stdlib.result