Module Consistbl

type t

val create : unit -> t

val clear : t -> unit

val check : t -> string -> Digest.t -> string -> unit

val check_noadd : t -> string -> Digest.t -> string -> unit

val set : t -> string -> Digest.t -> string -> unit

val source : t -> string -> string

val extract : string list -> t -> (string * Digest.t option) list

val filter : string -> bool -> t -> unit

exception Inconsistency of string * string * string

exception Not_available of string