fn is_rapx_requires_attr(attr: &Attribute) -> bool
Returns whether an attribute is exactly #[rapx::requires(...)].
#[rapx::requires(...)]