- | Ast.AttributedTerm (`Href hrefs, term) when debug_printing ->
- sprintf "#(%s)[%s]"
- (String.concat "," (List.map UriManager.string_of_uri hrefs))
- (pp_term ~pp_parens:false term)
- | Ast.AttributedTerm (`IdRef id, term) when debug_printing ->
- sprintf "x(%s)[%s]" id (pp_term ~pp_parens:false term)
- | Ast.AttributedTerm (_, term) when debug_printing ->
- sprintf "@[%s]" (pp_term ~pp_parens:false term)
+ | Ast.AttributedTerm (attr, term) when debug_printing ->
+ sprintf "%s[%s]" (pp_attribute attr) (pp_term ~pp_parens:false term)