Persistent_env.Consistbl
type t = Consistbl.Make(Misc.Stdlib.String).t
val create : unit -> t
val clear : t -> unit
val check :
t ->
Misc.Stdlib.String.t ->
Stdlib.Digest.t ->
Misc.filepath ->
unit
val check_noadd :
t ->
Misc.Stdlib.String.t ->
Stdlib.Digest.t ->
Misc.filepath ->
unit
val source : t -> Misc.Stdlib.String.t -> Misc.filepath
val extract :
Misc.Stdlib.String.t list ->
t ->
(Misc.Stdlib.String.t * Stdlib.Digest.t option) list
val extract_map :
Misc.Stdlib.String.Set.t ->
t ->
Stdlib.Digest.t option Misc.Stdlib.String.Map.t
val filter : (Misc.Stdlib.String.t -> bool) -> t -> unit
exception Inconsistency of {
unit_name : Misc.Stdlib.String.t;
inconsistent_source : string;
original_source : string;
}
exception Not_available of Misc.Stdlib.String.t