+ AXIS COLONCOLON test { let a, (t,k) = $1, $3 in
+ match a with
+ Attribute when QNameSet.is_finite t ->
+ [ a, ((QNameSet.fold
+ (fun t a ->
+ QNameSet.add
+ (QName.attribute t) a)
+ t QNameSet.empty), k) ]
+ | Preceding|Following ->
+ [ (Descendant true, (t,k));
+ if a == Preceding then
+ (PrecedingSibling, (node, NodeKind.Node))
+ else
+ (FollowingSibling, (node, NodeKind.Node));
+ (Ancestor true, (node, NodeKind.Node)) ]
+
+ | _ -> [ a, (t,k) ]
+ }
+| test { [ Child, $1 ] }