Previous  Up  Next

Module Dfa.DFA.StateToTransitionMap

module StateToTransitionMap: Map.S