Text -> pp fmt "%s" "text()"
| Element | Attribute ->
pp fmt "%s" begin
- if ts == star then "*"
- else QName.to_string (QName.remove_prefix (QNameSet.choose ts))
+ if QNameSet.is_finite ts then
+ QName.to_string (QName.remove_prefix (QNameSet.choose ts))
+ else "*"
end
| Comment -> pp fmt "%s" "comment()"
| ProcessingInstruction ->
| Preceding -> Following
| Following -> Preceding
;;
-