Module Env_lookup.Namespace

Namespaces describe in which section of the environment an item should be looked for.

val to_string : t -> string
type packed_label_description =
  1. | P : 'rep Ocaml_typing.Types.gen_label_description -> packed_label_description
type under_type = [
  1. | `Constr
  2. | `Labels
]
type inferred_basic = [
  1. | `Constr
  2. | `Labels
  3. | `Mod
  4. | `Modtype
  5. | `Type
  6. | `Vals
]
type inferred = [
  1. | `Constr
  2. | `Labels
  3. | `Mod
  4. | `Modtype
  5. | `This_cstr of Ocaml_typing.Types.constructor_description
  6. | `This_label of packed_label_description
  7. | `Type
  8. | `Vals
]
val from_context : Context.t -> inferred list

Returns potential namespaces given the context of an expression