Function is_contract_def_attr 

fn is_contract_def_attr(attr: &Attribute) -> bool

Whether an attribute path is rapx::def_contract (or the bare form with the tool prefix stripped).