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