+ NODE { node, NodeKind.Node }
+| TEXT { text, NodeKind.Text }
+| STAR { star, NodeKind.Element }
+| COMMENT { Utils.QNameSet.singleton(Utils.QName.comment),
+ NodeKind.Comment
+ }
+| PI { Utils.QNameSet.singleton(
+ Utils.QName.processing_instruction (
+ Utils.QName.of_string $1)
+ ), NodeKind.ProcessingInstruction
+ }
+| TAG { Utils.QNameSet.singleton(Utils.QName.of_string $1),
+ NodeKind.Element
+ }