type (!'u, !'s) t =
| Positions : (Parsexp__.Positions.Builder.t, unit) t
| Sexp : (unit, Parsexp__.Automaton_stack.t) t
| Sexp_with_positions : (Parsexp__.Positions.Builder.t,
Parsexp__.Automaton_stack.t)
t
| Cst : (Parsexp__Automaton_state_intf.For_cst.t,
Parsexp__.Automaton_stack.For_cst.t)
t