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