Module `Persistent_env.Consistbl`

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

val create : unit -> Ocaml_typing.Persistent_env.Consistbl.t

val clear : Ocaml_typing.Persistent_env.Consistbl.t -> unit

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

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

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

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

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

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

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

exception Inconsistency of {

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

}

exception Not_available of Ocaml_typing.Compilation_unit.Name.t

Module Persistent_env.Consistbl

Module `Persistent_env.Consistbl`