| FIRST_CHILD of StateSet.t
| NEXT_SIBLING of StateSet.t
| FIRST_ELEMENT of StateSet.t
| FIRST_CHILD of StateSet.t
| NEXT_SIBLING of StateSet.t
| FIRST_ELEMENT of StateSet.t
| LEFT of Translist.t * jump
| RIGHT of Translist.t * jump
| BOTH of Translist.t * jump * jump
| LEFT of Translist.t * jump
| RIGHT of Translist.t * jump
| BOTH of Translist.t * jump * jump