jon.recoil.org

Module Resolved.ModuleSource

Sourcetype t = [
  1. | `Identifier of Identifier.Path.Module.t
  2. | `Subst of ModuleType.t * t
  3. | `Substituted of t
  4. | `Hidden of t
  5. | `Module of t * Names.ModuleName.t
  6. | `Canonical of t * Module.t
    (*

    `Canonical (mod, canonical)

    *)
  7. | `Apply of t * t
    (*

    `Apply (functor, argument)

    *)
  8. | `Alias of t * Module.t
    (*

    Resolved dest

    *)
  9. | `OpaqueModule of t
]
Sourceval is_hidden : t -> weak_canonical_test:bool -> bool
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourcemodule Hashtbl : Hashtbl.S with type key = t