Module Touist.Parser

type token =

| XOR

| WHEN

| VARTUPLE of string

| VAR of string

| UNION_PR

| UNION

| TUPLE of string

| TOP

| TOINT

| TOFLOAT

| THEN

| TERM of string

| SUBSET_PR

| SUBSET

| SUB

| SQRT

| RPAREN

| RBRACK

| RANGE

| QUOTE

| POWERSET

| OR

| NOTEQUAL

| NOT

| NEWLINE

| MUL

| MOD

| LT

| LPAREN

| LET

| LE

| LBRACK

| INTER_PR

| INTER

| INT of int

| IN

| IMPLIES

| IF

| GT

| GE

| FORALL

| FOR

| FLOAT of float

| EXISTS

| EXACT

| EQUIV

| EQUAL

| EOF

| END

| EMPTY

| ELSE

| DIV

| DIFF_PR

| DIFF

| DATA

| COMMA

| COLON

| CARD

| BOTTOM

| BOOL of bool

| BIGOR

| BIGAND

| ATMOST

| ATLEAST

| AND

| AFFECT

| ADD

| 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