Module Nfa.NFA.TransitionMap


module TransitionMap: Map.S