Lex_dk (p.logtk.1.5.1.doc.logtk.parsers.Logtk_parsers.Lex

Sourceval pos : Lexing.lexbuf -> Logtk.ParseLocation.t

Sourceval __ocaml_lex_tables : Lexing.lex_tables

Sourceval token : Lexing.lexbuf -> Parse_dk.token

Sourceval __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Parse_dk.token

val comment : 
  Logtk.ParseLocation.t ->
  Logtk.ParseLocation.t list ->
  Lexing.lexbuf ->
  Parse_dk.token

val __ocaml_lex_comment_rec : 
  Logtk.ParseLocation.t ->
  Logtk.ParseLocation.t list ->
  Lexing.lexbuf ->
  int ->
  Parse_dk.token