Up

module Consistbl

: sig
#
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
end