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

module Consistbl