Source file sse_tokens.ml

type token = 
  | ZEXT of (int)
  | XOR
  | WITH
  | WHILE
  | UNDEF
  | UMOD
  | ULT
  | ULE
  | UGT
  | UGE
  | UDIV
  | TO
  | TIMES
  | THEN
  | THAT
  | TAND
  | SYMBOL of (string * Dba.VarTag.attribute)
  | SUCH
  | STREAM
  | STARTING
  | SMOD
  | SLT
  | SLE
  | SGT
  | SGE
  | SEXT of (int)
  | SEMICOLON
  | SECTIONS
  | SECTION
  | SDIV
  | RPAR
  | ROR
  | ROL
  | RMEM
  | REPLACE
  | REACH
  | RARROW
  | RANGE of (int Interval.t)
  | QMARK
  | PRINT
  | PLUS
  | OR
  | NOT
  | NONDET
  | MUL
  | MODEL
  | MINUS
  | LSR
  | LSL
  | LPAR
  | LOR
  | LOAD
  | LMEM
  | LARROW
  | LAND
  | LABEL of (string)
  | JUMP
  | IS
  | INT of (Z.t)
  | IN
  | IF
  | IDENT of (string * int)
  | HEXA
  | HALT
  | GOTO
  | FROM
  | FORMULA
  | FOR
  | FILE
  | EQUAL
  | EOF
  | ENUMERATE
  | END
  | ELSE
  | DO
  | DIFF
  | DEC
  | CUT
  | CORE
  | CONST of (Bitvector.t)
  | CONCAT
  | COMMA
  | COLON
  | CASE
  | BY
  | BIN
  | AT
  | ASSUME
  | ASSIGN
  | ASSERT
  | ASR
  | ASCII
  | AS
  | ANY
  | AND
  | ABORT