Consistbl.Make - no description
Module Consistbl.Make
Module
Make
:
functor (Module_name : sig end) -> sig end
Parameters:
"Module_name"
sig end
type t
val create :
unit -> t
val clear :
t -> unit
val check :
t -> Module_name.t -> Digest.t -> Misc.filepath
-> unit
val check_noadd :
t -> Module_name.t -> Digest.t ->
Misc.filepath -> unit
val set :
t -> Module_name.t -> Digest.t -> Misc.filepath
-> unit
val source :
t -> Module_name.t -> Misc.filepath
val extract :
Module_name.t list -> t -> (Module_name.t *
Digest.t option) list
val extract_map :
Module_name.Set.t -> t -> 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