Module Dfa.DFA.StateToTransitionMap

module StateToTransitionMap: Stdlib.Map.S