Automaton_stack.Just_positions
The recorded positions are stored elsewhere
type t = unit
val empty : t