pub type PragmaProperty = Spanned<PragmaProperty_>;