Module Tcsautoparser

type token =
  1. | INT of int
  2. | ANN of string
  3. | SEMICOLON
  4. | COMMA
  5. | BRACKETOPEN
  6. | BRACKETCLOSE
  7. | ALPHABETCALL
  8. | ALPHABETRET
  9. | UNDERSCORE
  10. | EOF
  11. | AUTOMATON
  12. | ALPHABET
  13. | STATES
  14. | INITIAL
  15. | TRANSITIONS
  16. | STACK
  17. | EPSILON
val auto : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> unit