package bddapron

  1. Overview
  2. Docs
package bddapron
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct