Source file Tokens.ml

type token = 
  | WITH
  | WHILE
  | WHERE
  | WHEN
  | VAR
  | UNTIL
  | UNREACHABLE
  | TYPE
  | TRY
  | TO
  | THROW
  | THEN
  | SUBTYPES
  | STRING_LIT of (string)
  | STRING
  | STAR_COLON
  | SLICING
  | SHR
  | SHL
  | SETTER
  | SEMI_COLON
  | RRBRACKET
  | RPAR
  | RETURN
  | REPEAT
  | RECURSELIMIT
  | RECORD
  | REAL_LIT of (Q.t)
  | REAL
  | RDIV
  | RBRACKET
  | RBRACE
  | PRINTLN
  | PRINT
  | PRAGMA
  | POW
  | PLUS_COLON
  | PLUS
  | PASS
  | OTHERWISE
  | OR
  | OF
  | NOT
  | NEQ
  | MUL
  | MOD
  | MINUS
  | MASK_LIT of (Bitvector.mask)
  | LT
  | LPAR
  | LOOPLIMIT
  | LLBRACKET
  | LET
  | LEQ
  | LBRACKET
  | LBRACE
  | INT_LIT of (Z.t)
  | INTEGER
  | IN
  | IMPL
  | IF
  | IDENTIFIER of (string)
  | GT
  | GETTER
  | GEQ
  | FUNC
  | FOR
  | EXCEPTION
  | EQ_OP
  | EQ
  | EOR
  | EOF
  | ENUMERATION
  | END
  | ELSIF
  | ELSE
  | DOWNTO
  | DOT
  | DO
  | DIVRM
  | DIV
  | DEBUG
  | CONSTANT
  | CONFIG
  | COMMA
  | COLON_COLON
  | COLON
  | CATCH
  | CASE
  | BOR
  | BOOL_LIT of (bool)
  | BOOLEAN
  | BNOT
  | BITVECTOR_LIT of (Bitvector.t)
  | BITS
  | BIT
  | BEQ
  | BEGIN
  | BAND
  | ASSERT
  | AS
  | ARROW
  | ARRAY
  | ARBITRARY
  | AND