Module GDLParser

module GDLParser: sig .. end

exception Error
val parse_term : (Lexing.lexbuf -> KIFLexer.token) -> Lexing.lexbuf -> GDL.term
val parse_request : (Lexing.lexbuf -> KIFLexer.token) -> Lexing.lexbuf -> GDL.request
val parse_literal_list : (Lexing.lexbuf -> KIFLexer.token) -> Lexing.lexbuf -> GDL.literal list
val parse_game_description : (Lexing.lexbuf -> KIFLexer.token) -> Lexing.lexbuf -> GDL.clause list