Type Definition typestate_automata::Dfa[][src]

type Dfa<State, Transition> = DeterministicFiniteAutomata<State, Transition>;
Expand description