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