Node = DocNode | ElemNode | AttrNode | ValueNode |
NSNode | PINode | CommentNode | InfoItemNode
string, boolean, ID, IDREF, decimal, QName, ...
list set bag disjoint union tuple
[T] {T} {|T|} T1 | T2
(T1,
,Tn)
ref(T)
24 of 29 |