module Consistbl: sig
.. end
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
: 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
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from
this page.