Module `Persistent_env.Consistbl`Source

Sourcetype t = Ocaml_utils.Consistbl.Make(Compilation_unit.Name)(Consistbl_data).t

Sourceval create : unit -> t

Sourceval clear : t -> unit

val check : 
  t ->
  Compilation_unit.Name.t ->
  Consistbl_data.t ->
  Digest.t ->
  Ocaml_utils.Misc.filepath ->
  unit

val check_noadd : 
  t ->
  Compilation_unit.Name.t ->
  Consistbl_data.t ->
  Digest.t ->
  Ocaml_utils.Misc.filepath ->
  unit

Sourceval source : t -> Compilation_unit.Name.t -> Ocaml_utils.Misc.filepath

Sourceval find : t -> Compilation_unit.Name.t -> (Consistbl_data.t * Digest.t) option

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

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

Sourceval filter : (Compilation_unit.Name.t -> bool) -> t -> unit

Sourceexception Inconsistency of {

}

Sourceexception Not_available of Compilation_unit.Name.t

Module Persistent_env.ConsistblSource