Module Fragment.ResolvedSource

Sourcemodule Signature : sig ... end
Sourcemodule Module : sig ... end
Sourcemodule ModuleType : sig ... end
Sourcemodule Type : sig ... end
Sourcetype leaf = [
  1. | Module.t
  2. | ModuleType.t
  3. | Type.t
]
Sourcetype root = [
  1. | `ModuleType of Path.Resolved.ModuleType.t
  2. | `Module of Path.Resolved.Module.t
]
Sourcetype t = [
  1. | `Root of root
  2. | `Subst of Path.Resolved.ModuleType.t * Module.t
  3. | `Alias of Path.Resolved.Module.t * Module.t
  4. | `Module of Signature.t * Names.ModuleName.t
  5. | `Module_type of Signature.t * Names.ModuleTypeName.t
  6. | `Type of Signature.t * Names.TypeName.t
  7. | `Class of Signature.t * Names.ClassName.t
  8. | `ClassType of Signature.t * Names.ClassTypeName.t
  9. | `OpaqueModule of Module.t
]
Sourceval identifier : t -> Identifier.t
Sourceval is_hidden : t -> bool