pub type SpecApplyPattern = Spanned<SpecApplyPattern_>;