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