Up – Package index » logtk » Library logtk.parsers » Logtk_parsers » Lex_dk

Module `Logtk_parsers.Lex_dk`

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

val __ocaml_lex_tables : Lexing.lex_tables

val token : Lexing.lexbuf -> Parse_dk.token

val __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