Previous  Up  

Module Nfa.NFA.TransitionMap

module TransitionMap: Map.S