Automaton_state.Kindtype ('u, 's) t = | Positions : (Positions.Builder.t, unit) t| Sexp : (unit, Parsexp__.Automaton_stack.t) t| Sexp_with_positions : (Positions.Builder.t, Parsexp__.Automaton_stack.t) t| Cst : (Parsexp__.Automaton_state_intf.For_cst.t,
Parsexp__.Automaton_stack.For_cst.t)
t