Dl_lexer (p.acgtk.1.5.3.doc.acgtkLib.datalogLib.DatalogLib.Dl

Sourceval loc : Lexing.lexbuf -> Lexing.position * Lexing.position

Sourceval __ocaml_lex_tables : Lexing.lex_tables

Sourceval lexer : Lexing.lexbuf -> Dl_parser.token

Sourceval __ocaml_lex_lexer_rec : Lexing.lexbuf -> int -> Dl_parser.token

val comment : 
  (Lexing.position * Lexing.position) list ->
  Lexing.lexbuf ->
  Dl_parser.token

val __ocaml_lex_comment_rec : 
  (Lexing.position * Lexing.position) list ->
  Lexing.lexbuf ->
  int ->
  Dl_parser.token