Module Nfa.NFA.StateToTransitionMap


module StateToTransitionMap: Map.S