sig
  type token = Word of string | Eof | LPAREN | RPAREN | COMMA
  val solution :
    (Lexing.lexbuf -> ASP_parser.token) ->
    Lexing.lexbuf -> (string * string list) list
end