Function extract_contract_def_string 

fn extract_contract_def_string(attr_str: &str) -> Option<String>

Extract the string literal from a #[rapx::def_contract("def ...")] attribute’s textual representation.