Module Dfa.DFA.TransitionMap

module TransitionMap: Stdlib.Map.S