Module Dfa.DFA.TransitionMap


module TransitionMap: Map.S