plebeia

Functional storage using Merkle Patricia tree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia.test_utils
module Path : sig ... end
type name = Name.t
module Map : sig ... end
type model_tree = Simulation(Name).model_tree =
| File of Plebeia.Value.t
| Dir of model_tree Map.t
type raw_cursor = Simulation(Name).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 : Stdlib.Format.formatter -> model_tree Map.t -> unit
val pp_view : Stdlib.Format.formatter -> model_tree -> unit
val pp_trail : Stdlib.Format.formatter -> (Name.t * model_tree Map.t) list -> unit
val pp_cursor : Stdlib.Format.formatter -> raw_cursor -> unit
type 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 * string
type Plebeia.Error.t +=
| FS_error of error
module Context : sig ... end
val empty : 'a -> raw_cursor
val make : 'a -> 'b -> 'c
val error_fs : error -> ( 'a, Plebeia.Error.t ) Stdlib.result
module Op : sig ... end
module Op_lwt : sig ... end