Module Persistent_env.Consistbl

val create : unit -> t
val clear : t -> unit
val extract : Compilation_unit.Name.t list -> t -> (Compilation_unit.Name.t * (Consistbl_data.t * Digest.t) option) list
val filter : (Compilation_unit.Name.t -> bool) -> t -> unit
exception Inconsistency of {
  1. unit_name : Compilation_unit.Name.t;
  2. inconsistent_source : string;
  3. original_source : string;
  4. inconsistent_data : Consistbl_data.t;
  5. original_data : Consistbl_data.t;
}
exception Not_available of Compilation_unit.Name.t