flowchart LR
  Start[Start]
  Stop[Stop]
  Start --> Type([<tt>type</tt>])
  Type --> Ident([<a href="Identifier">Identifier</a>])
  Ident --> Equals([<tt>=</tt>])
  Equals --> Def([<a href="TypeDef">Type Definition</a>])
  Def --> Semi([<tt>;</tt>])
  Semi --> Ident
  Semi --> Stop