Module Nfa.NFA.Alphabet

module Alphabet: Set.S