Module `Ocaml_typing.Persistent_env`

module Consistbl_data = Ocaml_typing.Import_info.Intf.Nonalias.Kind

module Consistbl : 
  module type of struct include Ocaml_utils.Consistbl.Make(Ocaml_typing.Compilation_unit.Name)(Consistbl_data) end

type error =

| Illegal_renaming of Ocaml_typing.Compilation_unit.Name.t * Ocaml_typing.Compilation_unit.Name.t * Merlin_utils.Misc.filepath
| Inconsistent_import of Ocaml_typing.Compilation_unit.Name.t * Merlin_utils.Misc.filepath * Merlin_utils.Misc.filepath
| Need_recursive_types of Ocaml_typing.Compilation_unit.Name.t
| Inconsistent_package_declaration_between_imports of Merlin_utils.Misc.filepath * Ocaml_typing.Compilation_unit.t * Ocaml_typing.Compilation_unit.t
| Direct_reference_from_wrong_package of Ocaml_typing.Compilation_unit.t * Merlin_utils.Misc.filepath * Ocaml_typing.Compilation_unit.Prefix.t
| Illegal_import_of_parameter of Ocaml_typing.Global_module.Name.t * Merlin_utils.Misc.filepath
| Not_compiled_as_parameter of Ocaml_typing.Global_module.Name.t
| Imported_module_has_unset_parameter of {
1. imported : Ocaml_typing.Global_module.Name.t;
2. parameter : Ocaml_typing.Global_module.Parameter_name.t;
}
| Imported_module_has_no_such_parameter of {
1. imported : Ocaml_typing.Compilation_unit.Name.t;
2. valid_parameters : Ocaml_typing.Global_module.Parameter_name.t list;
3. parameter : Ocaml_typing.Global_module.Parameter_name.t;
4. value : Ocaml_typing.Global_module.Name.t;
}
| Not_compiled_as_argument of {
1. param : Ocaml_typing.Global_module.Parameter_name.t;
2. value : Ocaml_typing.Global_module.Name.t;
3. filename : Merlin_utils.Misc.filepath;
}
| Argument_type_mismatch of {
1. value : Ocaml_typing.Global_module.Name.t;
2. filename : Merlin_utils.Misc.filepath;
3. expected : Ocaml_typing.Global_module.Parameter_name.t;
4. actual : Ocaml_typing.Global_module.Parameter_name.t;
}
| Unbound_module_as_argument_value of {
1. instance : Ocaml_typing.Global_module.Name.t;
2. value : Ocaml_typing.Global_module.Name.t;
}

exception Error of Ocaml_typing.Persistent_env.error

val report_error : 
  Stdlib.Format.formatter ->
  Ocaml_typing.Persistent_env.error ->
  unit

module Persistent_signature : sig ... end

type can_load_cmis =

| Can_load_cmis
| Cannot_load_cmis of Ocaml_utils.Lazy_backtrack.log

type 'a t

val empty : unit -> 'a Ocaml_typing.Persistent_env.t

val short_paths_basis : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Short_paths.Basis.t

val clear : 'a Ocaml_typing.Persistent_env.t -> unit

val clear_missing : 'a Ocaml_typing.Persistent_env.t -> unit

val fold : 
  'a Ocaml_typing.Persistent_env.t ->
  (Ocaml_typing.Global_module.Name.t -> 'a -> 'b -> 'b) ->
  'b ->
  'b

type address =

| Aunit of Ocaml_typing.Compilation_unit.t
| Alocal of Ocaml_typing.Ident.t
| Adot of Ocaml_typing.Persistent_env.address * Ocaml_typing.Types.module_representation * int

type 'a sig_reader =
  Ocaml_typing.Subst.Lazy.signature ->
  Ocaml_typing.Global_module.Name.t ->
  Ocaml_typing.Shape.Uid.t ->
  shape:Ocaml_typing.Shape.t ->
  address:Ocaml_typing.Persistent_env.address ->
  flags:Ocaml_typing.Cmi_format.pers_flags list ->
  'a

val read : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Global_module.Name.t ->
  Ocaml_typing.Unit_info.Artifact.t ->
  Ocaml_typing.Subst.Lazy.signature

val find : 
  allow_hidden:bool ->
  'a Ocaml_typing.Persistent_env.t ->
  'a Ocaml_typing.Persistent_env.sig_reader ->
  (Ocaml_typing.Global_module.Name.t ->
    'a ->
    Ocaml_typing.Short_paths.Desc.Module.components Stdlib.Lazy.t) ->
  Ocaml_typing.Global_module.Name.t ->
  allow_excess_args:bool ->
  'a

val find_in_cache : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Global_module.Name.t ->
  'a option

val check : 
  allow_hidden:bool ->
  'a Ocaml_typing.Persistent_env.t ->
  'a Ocaml_typing.Persistent_env.sig_reader ->
  (Ocaml_typing.Global_module.Name.t ->
    'a ->
    Ocaml_typing.Short_paths.Desc.Module.components Stdlib.Lazy.t) ->
  loc:Ocaml_parsing.Location.t ->
  Ocaml_typing.Global_module.Name.t ->
  unit

val register_parameter : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Global_module.Parameter_name.t ->
  unit

val is_parameter_import : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Global_module.Name.t ->
  bool

val looked_up : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Global_module.Name.t ->
  bool

val is_imported_opaque : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Compilation_unit.Name.t ->
  bool

val register_import_as_opaque : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Compilation_unit.Name.t ->
  unit

val implemented_parameter : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Global_module.Name.t ->
  Ocaml_typing.Global_module.Parameter_name.t option

val global_of_global_name : 
  'a Ocaml_typing.Persistent_env.t ->
  check:bool ->
  Ocaml_typing.Global_module.Name.t ->
  allow_excess_args:bool ->
  Ocaml_typing.Global_module.t

val normalize_global_name : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Global_module.Name.t ->
  Ocaml_typing.Global_module.Name.t

val make_cmi : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Compilation_unit.Name.t ->
  Ocaml_typing.Cmi_format.kind ->
  Ocaml_typing.Subst.Lazy.signature ->
  Merlin_utils.Misc.alerts ->
  Ocaml_typing.Cmi_format.cmi_infos_lazy

val save_cmi : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Persistent_env.Persistent_signature.t ->
  unit

val can_load_cmis : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Persistent_env.can_load_cmis

val set_can_load_cmis : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Persistent_env.can_load_cmis ->
  unit

val without_cmis : 'a Ocaml_typing.Persistent_env.t -> ('b -> 'c) -> 'b -> 'c

val import_crcs : 
  'a Ocaml_typing.Persistent_env.t ->
  source:Merlin_utils.Misc.filepath ->
  Ocaml_typing.Import_info.Intf.t array ->
  unit

val imports : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Import_info.Intf.t list

val require_global_for_quote : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Compilation_unit.Name.t ->
  unit

val quoted_globals : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Compilation_unit.Name.t list

val runtime_parameter_bindings : 
  'a Ocaml_typing.Persistent_env.t ->
  (Ocaml_typing.Global_module.t * Ocaml_typing.Ident.t) list

val is_bound_to_runtime_parameter : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Ident.t ->
  bool

val is_imported_parameter : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Global_module.Name.t ->
  bool

val parameters : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Global_module.Parameter_name.t list

val crc_of_unit : 
  'a Ocaml_typing.Persistent_env.t ->
  Ocaml_typing.Compilation_unit.Name.t ->
  Stdlib.Digest.t

val add_delayed_check_forward : ((unit -> unit) -> unit) Stdlib.ref

val with_cmis : 'a Ocaml_typing.Persistent_env.t -> ('b -> 'c) -> 'b -> 'c

val forall : 
  found:
    (Ocaml_typing.Compilation_unit.Name.t ->
      Merlin_utils.Misc.filepath ->
      Ocaml_typing.Compilation_unit.Name.t ->
      bool) ->
  missing:(Ocaml_typing.Compilation_unit.Name.t -> bool) ->
  'a Ocaml_typing.Persistent_env.t ->
  bool

Module Ocaml_typing.Persistent_env

Module `Ocaml_typing.Persistent_env`