Module Nfa.NFA.StateSet

module StateSet: Stdlib.Set.S