Module Automaton_stack.Just_positionsSource

The recorded positions are stored elsewhere

Sourcetype t = unit
Sourceval empty : t