Resolved.Moduletype t = [ | | `Identifier of Paths.Identifier.Path.Module.t | 
| | `Hidden of Paths.Reference.Resolved.Module.t | 
| | `Alias of Paths.Path.Resolved.Module.t * Paths.Reference.Resolved.Module.t | 
| | `Module of Paths.Reference.Resolved.Signature.t * Names.ModuleName.t | 
| | `Canonical of Paths.Reference.Resolved.Module.t * Paths.Reference.Module.t | 
 ]