Module Binsec.Dbacsl_parser

type token =
  1. | XOR
  2. | UMINUS
  3. | TRUE
  4. | TERM_TOKEN
  5. | SUPER
  6. | STORELOAD
  7. | RSHIFTU
  8. | RSHIFTS
  9. | RROTATE
  10. | RPAR
  11. | RBRACKET
  12. | RBRACE
  13. | PLUS
  14. | OR
  15. | NOT
  16. | NEQ2
  17. | NEQ
  18. | MULTU
  19. | MULTS
  20. | MODU
  21. | MODS
  22. | MINUS
  23. | LTU
  24. | LTS
  25. | LSHIFT
  26. | LROTATE
  27. | LPAR
  28. | LEU
  29. | LES
  30. | LBRACKET
  31. | LBRACE
  32. | INT of string
  33. | INFER
  34. | IFJUMP
  35. | IDENT of string
  36. | HEXA of string * int
  37. | GTU
  38. | GTS
  39. | GEU
  40. | GES
  41. | FALSE
  42. | EXTU
  43. | EXTS
  44. | EQQ2
  45. | EQQ
  46. | EOF
  47. | ELSE
  48. | DIVU
  49. | DIVS
  50. | CONCAT
  51. | COMMA
  52. | ASSUME
  53. | ASSERT
  54. | AND
exception Error