jon.recoil.org

Module Env_lookup.NamespaceSource

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

Sourceval to_string : t -> string
Sourcetype under_type = [
  1. | `Constr
  2. | `Labels
]
Sourcetype inferred_basic = [
  1. | `Constr
  2. | `Labels
  3. | `Mod
  4. | `Modtype
  5. | `Type
  6. | `Vals
]
Sourcetype inferred = [
  1. | `Constr
  2. | `Labels
  3. | `Mod
  4. | `Modtype
  5. | `This_cstr of Ocaml_typing.Data_types.constructor_description
  6. | `This_label of Ocaml_typing.Data_types.label_description
  7. | `Type
  8. | `Vals
]
Sourceval from_context : Context.t -> inferred list

Returns potential namespaces given the context of an expression