Resolved.ModuleSourcetype t = [ | `Identifier of Identifier.Path.Module.t| `Subst of ModuleType.t * t| `Substituted of t| `Hidden of t| `Module of t * Names.ModuleName.t| `Canonical of t * Module.t`Canonical (mod, canonical)
| `Apply of t * t`Apply (functor, argument)
| `Alias of t * Module.tResolved dest
*)| `OpaqueModule of t ]