Module Identifier.Extension

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