Prototype

template <typename DFirstCursor>
void dot(ostream &out, DFirstCursor x, DFirstCursor y = DFirstCursor());

template <typename DFirstCursor>
void dot(DFA_dot &out, DFirstCursor x, DFirstCursor y = DFirstCursor());