Module Locate.Namespace_resolution

type t =
  1. | From_context of Query_protocol.Locate_context.t
    (*

    Choose the namespaces based on a Query_protocol.Locate_context.t

    *)
  2. | Explicit of Env_lookup.Namespace.inferred_basic list
    (*

    Explicitly choose which namespaces to search in. The namespaces are prioritized based on the list order (with the first element being highest priority)

    *)
  3. | Inferred
    (*

    Infer which namespaces to search in

    *)