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