Module `Persistent_env.Consistbl`

type t = Consistbl.Make(Compilation_unit.Name)(Consistbl_data).t

val create : unit -> Persistent_env.Consistbl.t

val clear : Persistent_env.Consistbl.t -> unit

val check : 
  Persistent_env.Consistbl.t ->
  Compilation_unit.Name.t ->
  Consistbl_data.t ->
  Stdlib.Digest.t ->
  Misc.filepath ->
  unit

val check_noadd : 
  Persistent_env.Consistbl.t ->
  Compilation_unit.Name.t ->
  Consistbl_data.t ->
  Stdlib.Digest.t ->
  Misc.filepath ->
  unit

val source : 
  Persistent_env.Consistbl.t ->
  Compilation_unit.Name.t ->
  Misc.filepath

val find : 
  Persistent_env.Consistbl.t ->
  Compilation_unit.Name.t ->
  (Consistbl_data.t * Stdlib.Digest.t) option

val extract : 
  Compilation_unit.Name.t list ->
  Persistent_env.Consistbl.t ->
  (Compilation_unit.Name.t * (Consistbl_data.t * Stdlib.Digest.t) option) list

val extract_map : 
  Compilation_unit.Name.Set.t ->
  Persistent_env.Consistbl.t ->
  (Consistbl_data.t * Stdlib.Digest.t) option Compilation_unit.Name.Map.t

val filter : 
  (Compilation_unit.Name.t -> bool) ->
  Persistent_env.Consistbl.t ->
  unit

exception Inconsistency of {

unit_name : Compilation_unit.Name.t;
inconsistent_source : string;
original_source : string;
inconsistent_data : Consistbl_data.t;
original_data : Consistbl_data.t;

}

exception Not_available of Compilation_unit.Name.t

Module Persistent_env.Consistbl

Module `Persistent_env.Consistbl`