Module `Consistbl`

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 -> Stdlib.Digest.t -> string -> unit
val check_noadd : t -> string -> Stdlib.Digest.t -> string -> unit
val set : t -> string -> Stdlib.Digest.t -> string -> unit
val source : t -> string -> string
val extract : string list -> t -> (string * Stdlib.Digest.t option) list
val filter : (string -> bool) -> t -> unit

exception Inconsistency of string * string * string
exception Not_available of string