Module Tai.Cli_parser

type token =
  1. | RightParen
  2. | RightBracket
  3. | Product
  4. | Lift of bool
  5. | LeftParen
  6. | LeftBracket
  7. | Ident of string
  8. | EOF
exception Error
val full_expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Domain_builder.classical_domain