sig
  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
end