package logtk
Module Logtk_parsers.Lex_zf
val token : Lexing.lexbuf -> Parse_zf.tokenval __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Parse_zf.tokenLogtk_parsers.Lex_zfval token : Lexing.lexbuf -> Parse_zf.tokenval __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Parse_zf.token