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