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