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

  style Start fill:#44E
  style Stop fill:#E44