Resolved.Moduletype t = [ | `Identifier of Paths.Identifier.Path.Module.t | 
| `Subst of Paths.Path.Resolved.ModuleType.t * Paths.Path.Resolved.Module.t | 
| `Hidden of Paths.Path.Resolved.Module.t | 
| `Module of Paths.Path.Resolved.Module.t * Names.ModuleName.t | 
| `Canonical of Paths.Path.Resolved.Module.t * Paths.Path.Module.t | 
| `Apply of Paths.Path.Resolved.Module.t * Paths.Path.Resolved.Module.t | 
| `Alias of Paths.Path.Resolved.Module.t * Paths.Path.Resolved.Module.t | 
| `OpaqueModule of Paths.Path.Resolved.Module.t | 
 ]val of_ident : Identifier.Path.Module.t -> tval identifier : t -> Identifier.Path.Module.tval canonical_ident : t -> Identifier.Path.Module.t option