Module Asllib.TokensSource

Sourcetype token =
  1. | WITH
  2. | WHILE
  3. | WHERE
  4. | WHEN
  5. | VAR
  6. | UNTIL
  7. | UNREACHABLE
  8. | TYPE
  9. | TRY
  10. | TO
  11. | THROW
  12. | THEN
  13. | SUBTYPES
  14. | STRING_LIT of string
  15. | STRING
  16. | STAR_COLON
  17. | SLICING
  18. | SHR
  19. | SHL
  20. | SETTER
  21. | SEMI_COLON
  22. | RRBRACKET
  23. | RPAR
  24. | RETURN
  25. | REPEAT
  26. | RECURSELIMIT
  27. | RECORD
  28. | REAL_LIT of Q.t
  29. | REAL
  30. | RDIV
  31. | RBRACKET
  32. | RBRACE
  33. | PRINTLN
  34. | PRINT
  35. | PRAGMA
  36. | POW
  37. | PLUS_COLON
  38. | PLUS
  39. | PASS
  40. | OTHERWISE
  41. | OR
  42. | OF
  43. | NOT
  44. | NEQ
  45. | MUL
  46. | MOD
  47. | MINUS
  48. | MASK_LIT of Bitvector.mask
  49. | LT
  50. | LPAR
  51. | LOOPLIMIT
  52. | LLBRACKET
  53. | LET
  54. | LEQ
  55. | LBRACKET
  56. | LBRACE
  57. | INT_LIT of Z.t
  58. | INTEGER
  59. | IN
  60. | IMPL
  61. | IF
  62. | IDENTIFIER of string
  63. | GT
  64. | GETTER
  65. | GEQ
  66. | FUNC
  67. | FOR
  68. | EXCEPTION
  69. | EQ_OP
  70. | EQ
  71. | EOR
  72. | EOF
  73. | ENUMERATION
  74. | END
  75. | ELSIF
  76. | ELSE
  77. | DOWNTO
  78. | DOT
  79. | DO
  80. | DIVRM
  81. | DIV
  82. | DEBUG
  83. | CONSTANT
  84. | CONFIG
  85. | COMMA
  86. | COLON_COLON
  87. | COLON
  88. | CATCH
  89. | CASE
  90. | BOR
  91. | BOOL_LIT of bool
  92. | BOOLEAN
  93. | BNOT
  94. | BITVECTOR_LIT of Bitvector.t
  95. | BITS
  96. | BIT
  97. | BEQ
  98. | BEGIN
  99. | BAND
  100. | ASSERT
  101. | AS
  102. | ARROW
  103. | ARRAY
  104. | ARBITRARY
  105. | AND