Dl_lexer (acgtk.DatalogLib.Dl

val loc : 
  Stdlib.Lexing.lexbuf ->
  Stdlib.Lexing.position * Stdlib.Lexing.position

val __ocaml_lex_tables : Stdlib.Lexing.lex_tables

val lexer : Stdlib.Lexing.lexbuf -> Dl_parser.token

val __ocaml_lex_lexer_rec : Stdlib.Lexing.lexbuf -> int -> Dl_parser.token

val comment : 
  UtilsLib.Error.pos list ->
  Stdlib.Lexing.lexbuf ->
  Dl_parser.token

val __ocaml_lex_comment_rec : 
  UtilsLib.Error.pos list ->
  Stdlib.Lexing.lexbuf ->
  int ->
  Dl_parser.token