DatalogLib.Dl_parserSourcetype token = | SLASH of UtilsLib.ErrorMg.location| RPAR of UtilsLib.ErrorMg.location| QUESTION_MARK of UtilsLib.ErrorMg.location| LPAR of UtilsLib.ErrorMg.location| INT of int * UtilsLib.ErrorMg.location| IDENT of string * UtilsLib.ErrorMg.location| FROM of UtilsLib.ErrorMg.location| EOI| DOT of UtilsLib.ErrorMg.location| COMMA of UtilsLib.ErrorMg.locationval query :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
(Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table
* Datalog_AbstractSyntax.ConstGen.Table.table) ->
Datalog_AbstractSyntax.AbstractSyntax.Predicate.predicate
* Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table
* Datalog_AbstractSyntax.ConstGen.Table.tableval extensional_facts :
(Lexing.lexbuf -> token) ->
Lexing.lexbuf ->
(Datalog_AbstractSyntax.AbstractSyntax.Predicate.PredIdTable.table
* Datalog_AbstractSyntax.ConstGen.Table.table
* UtilsLib.IdGenerator.IntIdGen.t) ->
Datalog_AbstractSyntax.AbstractSyntax.Rule.rule list
* Datalog_AbstractSyntax.ConstGen.Table.table
* UtilsLib.IdGenerator.IntIdGen.t