sig
  type token =
      ID of string
    | LPAREN
    | RPAREN
    | COMMA
    | ARROW
    | WHERE
    | IN
    | NOT
    | EOL
  val main :
    (Lexing.lexbuf -> Parser.token) ->
    Lexing.lexbuf -> ParserTypes.parsed_main
end