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