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