datalog.top_down
Datalog_top_down.Lexer
datalog
datalog.caml_interface
datalog.unix
val print_location : Lexing.lexbuf -> string
val fail : unit -> 'a
val __ocaml_lex_tables : Lexing.lex_tables
val token : Lexing.lexbuf -> Parser.token
val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Parser.token