Resolved.Module
type t = [
| `Subst of Paths.Path.Resolved.ModuleType.t * Paths.Fragment.Resolved.Module.t |
| `Alias of Paths.Path.Resolved.Module.t * Paths.Fragment.Resolved.Module.t |
| `Module of Paths.Fragment.Resolved.Signature.t * Names.ModuleName.t |
| `OpaqueModule of Paths.Fragment.Resolved.Module.t |
]