package plebeia

  1. Overview
  2. Docs

Module WithSimulation.SSource

Sourcemodule Path : sig ... end
Sourcetype name = Name.t
Sourcemodule Map : sig ... end
Sourcetype raw_cursor = Simulation(Name).raw_cursor =
  1. | Z of model_tree * (name * model_tree Map.t) list
Sourcetype cursor = raw_cursor
Sourcetype view = model_tree
Sourcetype hash = string
Sourceval pp_model_tree_map : Format.formatter -> model_tree Map.t -> unit
Sourceval pp_view : Format.formatter -> model_tree -> unit
Sourceval pp_trail : Format.formatter -> (Name.t * model_tree Map.t) list -> unit
Sourceval pp_cursor : Format.formatter -> raw_cursor -> unit
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
Sourcemodule Context : sig ... end
Sourceval empty : 'a -> raw_cursor
Sourceval make : 'a -> 'b -> 'a
Sourceval error_fs : error -> ('a, Plebeia.Error.t) result
Sourcemodule Op : sig ... end
Sourcemodule Op_lwt : sig ... end