Tai.Cli_parser
type token =
| RightParen
| RightBracket
| Product
| Lift of bool
| LeftParen
| LeftBracket
| Ident of string
| EOF
exception Error
val full_expr : (Stdlib.Lexing.lexbuf -> token) -> Stdlib.Lexing.lexbuf -> Domain_builder.classical_domain