- | Ast.AttributedTerm (`IdRef id, term) when debug_printing ->
- sprintf "x(%s)[%s]" id (pp_term ~pp_parens:false term)
- | Ast.AttributedTerm (`XmlAttrs attrs, term) when debug_printing ->
- sprintf "X(%s)[%s]"
- (String.concat ";"
- (List.map (fun (_, n, v) -> sprintf "%s=%s" n v) attrs))
- (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)