Consistbl.Make
module Module_name : sig ... end
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 source : t -> Module_name.t -> Misc.filepath
val extract :
Module_name.t list ->
t ->
(Module_name.t * Stdlib.Digest.t option) list
val extract_map :
Module_name.Set.t ->
t ->
Stdlib.Digest.t option Module_name.Map.t
val filter : (Module_name.t -> bool) -> t -> unit
exception Inconsistency of {
unit_name : Module_name.t;
inconsistent_source : string;
original_source : string;
}
exception Not_available of Module_name.t