Type Definition typestate_automata::DFA[][src]

type DFA<State, Transition> = DeterministicFiniteAutomata<State, Transition>;