Resolved.Extensiontype t = [ | | `Identifier of [ Paths.Identifier.Extension.t | Paths.Identifier.Exception.t ] | 
| | `Extension of Paths.Reference.Resolved.Signature.t * Names.ExtensionName.t | 
| | `Exception of Paths.Reference.Resolved.Signature.t * Names.ExceptionName.t | 
 ]