(************************************************************************) (* This file is licensed under The MIT License *) (* See LICENSE for more information *) (************************************************************************)
(** Recursive scan of a directory *) type'a t
(** [scan ~prefix dir] scan for coq modules in dir [prefix] will
inject a dir *) val scan : prefix:stringlist -> string -> Coq_module.t t
(** [iter ~f dir_info] iterate contents, [prefix] denotes the sub-tree
we are in *) val iter : f:(prefix:stringlist -> 'a list -> unit) -> 'a t -> unit
(** [fold ~f ~init dir_info] fold over each folder's contents *) val fold : f:(prefix:stringlist -> 'b -> 'a list -> 'b) -> init:'b -> 'a t -> 'b
(** Flatten the list of objects of a recursive scan *) val coq_modules : 'a t -> 'a list
val pp : Format.formatter -> Coq_module.t t -> unit
(* To remove *) valmap : f:(prefix:stringlist -> 'a -> 'b) -> 'a t -> 'b t
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
