`sig
type t
val create : unit -> Consistbl.t
val clear : Consistbl.t -> unit
val check : Consistbl.t -> string -> Stdlib.Digest.t -> string -> unit
val check_noadd :
Consistbl.t -> string -> Stdlib.Digest.t -> string -> unit
val set : Consistbl.t -> string -> Stdlib.Digest.t -> string -> unit
val source : Consistbl.t -> string -> string
val extract :
string list -> Consistbl.t -> (string * Stdlib.Digest.t option) list
val filter : (string -> bool) -> Consistbl.t -> unit
exception Inconsistency of string * string * string
exception Not_available of string
end`