File system over Plebeia tree.
Here, a `cursor` is a zipper over a Plebeia tree.
File system via Plebeia
module Name = Fs_types.Nametype name = Name.tType of file name
module Path = Fs_types.PathPath name, a list of names
module FsError = Fs_types.FsErrortype error = FsError.tErrors. The first parameter is the name of the failed API function
type raw_cursor = Cursor.tType for the underlying cursor
type view = Node_type.viewType of Plebeia tree of a file or a directory
type hash = Hash.Prefix.tHash of a file or a directory
val make : raw_cursor -> Fs_nameenc.t -> Path.t -> cursormake raw_cursor path wraps raw_cursor which points to path and returns a cursor
val empty : Context.t -> Fs_nameenc.t -> cursorempty context returns a cursor pointing the empty file system
val get_raw_cursor : cursor -> raw_cursorGet the underlying cursor
module Op : sig ... endmodule Op_lwt : sig ... endmodule Vc : sig ... endVersion control
module Merkle_proof : sig ... end