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