Module RealQuantElimParser

module RealQuantElimParser: sig .. end

exception Error

val parse_formula : (Lexing.lexbuf -> Lexer.token) ->
       Lexing.lexbuf -> string list * (Poly.polynomial * Formula.sign_op) list