Module Dfa.DFA.Alphabet

module Alphabet: Set.S