hax_lib_macros

Function not_field_attribute

Source 
pub(crate) fn not_field_attribute(attr: &Attribute) -> bool