Resolved.Extension
type t = [
| `Identifier of [ Identifier.Extension.t_pv | Identifier.Exception.t_pv ] Identifier.id
| `Extension of Signature.t * Names.ExtensionName.t
| `Exception of Signature.t * Names.ExceptionName.t
]