Module FormulaParser

module FormulaParser: sig .. end

exception Error

val parse_real_expr : (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Formula.real_expr

val parse_formula : (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Formula.formula

val parse_expr_eqs : (Lexing.lexbuf -> Lexer.token) -> Lexing.lexbuf -> Formula.eq_sys