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