Module Nfa.NFA.StateToTransitionMap

module StateToTransitionMap: Stdlib.Map.S