NAME

       Consistbl - Consistency tables: for checking consistency of module CRCs

Module

       Module   Consistbl

Documentation

       Module Consistbl
        : sig end

       Consistency tables: for checking consistency of module CRCs

       Warning: this module is unstable and part of Compiler_libs .

       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