sig
  type token =
      SAT
    | UNSAT
    | NEWLINE
    | COMMENT
    | EOF
    | LPAREN
    | RPAREN
    | EQUALS
    | NEQUALS
    | LT
    | LTE
    | GT
    | GTE
    | AND
    | OR
    | PLUS
    | MINUS
    | MULTIPLY
    | DIVIDE
    | NEG
    | CARET
    | INTEGER of int
    | IDENTIFIER of string
  val input :
    (Lexing.lexbuf -> Yparser.token) -> Lexing.lexbuf -> Yices.yexp list
end