plebeia.test_utils
WithSimulation.S
plebeia
plebeia.msync
module Name : sig ... end
module Path : sig ... end
type name = Name.t
module Map : sig ... end
type model_tree = Simulation(Base).model_tree =
| File of Plebeia.Value.t
| Dir of model_tree Map.t
type raw_cursor = Simulation(Base).raw_cursor =
| Z of model_tree * (name * model_tree Map.t) list
type cursor = raw_cursor
type view = model_tree
type hash = string
val pp_model_tree_map : Format.formatter -> model_tree Map.t -> unit
val pp_view : Format.formatter -> model_tree -> unit
val pp_trail : Format.formatter -> (Name.t * model_tree Map.t) list -> unit
val pp_cursor : Format.formatter -> raw_cursor -> unit
type path = Path.t
type t =
| Is_file of string * path
| Is_directory of string * path
| No_such_file_or_directory of string * path
| File_or_directory_exists of string * path
| Path_decode_failure of Plebeia.Segment.t
| Other of string * string
type Plebeia.Error.t +=
| FS_error of t
val error : t -> ('a, Plebeia.Error.t) result
module Context : sig ... end
val empty : 'a -> raw_cursor
val make : 'a -> 'b -> 'a
val error_fs : t -> ('a, Plebeia.Error.t) result
module Op : sig ... end
module Op_lwt : sig ... end