Module Consistbl.Make
Parameters
Signature
type t
val create : unit -> t
val clear : t -> unit
val check : t -> Module_name.t -> Stdlib.Digest.t -> Misc.filepath -> unit
val check_noadd : t -> Module_name.t -> Stdlib.Digest.t -> Misc.filepath -> unit
val set : t -> Module_name.t -> Stdlib.Digest.t -> Misc.filepath -> unit
val source : t -> Module_name.t -> Misc.filepath
val filter : (Module_name.t -> bool) -> t -> unit
exception Inconsistency of Module_name.t * Misc.filepath * Misc.filepath
exception Not_available of Module_name.t