package bddapron

  1. Overview
  2. Docs
type token =
  1. | TK_LBRACKET
  2. | TK_RBRACKET
  3. | TK_SEMICOLON
  4. | TK_COLON
  5. | TK_LPAR
  6. | TK_RPAR
  7. | TK_LBRACE
  8. | TK_RBRACE
  9. | TK_BOOL
  10. | TK_UINT
  11. | TK_SINT
  12. | TK_INT
  13. | TK_REAL
  14. | TK_IN
  15. | TK_COMMA
  16. | TK_TYPEDEF
  17. | TK_ENUM
  18. | TK_IF
  19. | TK_THEN
  20. | TK_ELSE
  21. | TK_VERTEX
  22. | TK_RAY
  23. | TK_LINE
  24. | TK_MOD
  25. | TK_RAYMOD
  26. | TK_LINEMOD
  27. | TK_MUL of Apron.Texpr1.typ * Apron.Texpr1.round
  28. | TK_ADD of Apron.Texpr1.typ * Apron.Texpr1.round
  29. | TK_SUB of Apron.Texpr1.typ * Apron.Texpr1.round
  30. | TK_DIV of Apron.Texpr1.typ * Apron.Texpr1.round
  31. | TK_MODULO of Apron.Texpr1.typ * Apron.Texpr1.round
  32. | TK_CAST of Apron.Texpr1.typ * Apron.Texpr1.round
  33. | TK_SQRT of Apron.Texpr1.typ * Apron.Texpr1.round
  34. | TK_MPQF of Mpqf.t
  35. | TK_FLOAT of float
  36. | TK_LEQ
  37. | TK_GEQ
  38. | TK_LT
  39. | TK_GT
  40. | TK_EQ
  41. | TK_NEQ
  42. | TK_AND
  43. | TK_OR
  44. | TK_NOT
  45. | TK_ID of string
  46. | TK_TRUE
  47. | TK_FALSE
  48. | TK_EOF
val expr : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> string Syntax.expr
OCaml

Innovation. Community. Security.