Module WithSimulation.FSource

module Name : sig ... end
Sourcetype name = Name.t
Sourcemodule Path : sig ... end
Sourcetype raw_cursor = Plebeia.Cursor.t
Sourcetype cursor = {
  1. cur : Plebeia.Cursor.t;
  2. rev_path : Name.t list;
}
Sourcetype error =
  1. | Is_file of string * Path.t
  2. | Is_directory of string * Path.t
  3. | No_such_file_or_directory of string * Path.t
  4. | File_or_directory_exists of string * Path.t
  5. | Path_decode_failure of Plebeia.Segment.t
  6. | Other of string * string
Sourcetype Plebeia.Error.t +=
  1. | FS_error of error
Sourceval error_fs : error -> ('a, Plebeia.Error.t) result
Sourceval make : Plebeia.Cursor.t -> Name.t list -> cursor
Sourceval get_raw_cursor : cursor -> Plebeia.Cursor.t
Sourceval split : 'a list -> 'a list * 'a
Sourcemodule Op : sig ... end
Sourcemodule Op_lwt : sig ... end
Sourcemodule Merkle_proof : sig ... end
Sourcemodule Vc : sig ... end