- Move of move * State.t (** In the [move] direction, the automaton must be in the given state *)
- | Is_first_child (** True iff the node is the first child of its parent *)
- | Is_next_sibling (** True iff the node is the next sibling of its parent *)
+ Move of move * State.t (** In the [move] direction,
+ the automaton must be in the given state *)
+ | Is_first_child (** True iff
+ the node is the first child of its parent *)
+ | Is_next_sibling (** True iff
+ the node is the next sibling of its parent *)