package touist

  1. Overview
  2. Docs
type token =
  1. | XOR
  2. | WHEN
  3. | VARTUPLE of string
  4. | VAR of string
  5. | UNION_PR
  6. | UNION
  7. | TUPLE of string
  8. | TOP
  9. | TOINT
  10. | TOFLOAT
  11. | THEN
  12. | TERM of string
  13. | SUBSET_PR
  14. | SUBSET
  15. | SUB
  16. | SQRT
  17. | RPAREN
  18. | RBRACK
  19. | RANGE
  20. | POWERSET
  21. | OR
  22. | NOTEQUAL
  23. | NOT
  24. | NEWLINE
  25. | MUL
  26. | MOD
  27. | LT
  28. | LPAREN
  29. | LET
  30. | LE
  31. | LBRACK
  32. | INTER_PR
  33. | INTER
  34. | INT of int
  35. | IN
  36. | IMPLIES
  37. | IF
  38. | GT
  39. | GE
  40. | FORALL
  41. | FOR
  42. | FLOAT of float
  43. | EXISTS
  44. | EXACT
  45. | EQUIV
  46. | EQUAL
  47. | EOF
  48. | END
  49. | EMPTY
  50. | ELSE
  51. | DIV
  52. | DIFF_PR
  53. | DIFF
  54. | DATA
  55. | COMMA
  56. | COLON
  57. | CARD
  58. | BOTTOM
  59. | BOOL of bool
  60. | BIGOR
  61. | BIGAND
  62. | ATMOST
  63. | ATLEAST
  64. | AND
  65. | AFFECT
  66. | ADD
  67. | ABS
exception Error
val touist_smt : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Types.Ast.t
val touist_simple : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Types.Ast.t
val touist_qbf : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Types.Ast.t
module MenhirInterpreter : sig ... end
module Incremental : sig ... end