typesim.syn 245 B

123456789101112
  1. \begin{diagram}{Simple types}{simpletypes}
  2. \begin{mysyntdiag}
  3. \synt{simple\ type}
  4. \(
  5. \synt{ordinal\ type} \\
  6. \synt{real\ type}
  7. \)
  8. \end{mysyntdiag}
  9. \begin{mysyntdiag}
  10. \synt{real\ type} \synt{real\ type\ identifier}
  11. \end{mysyntdiag}
  12. \end{diagram}