YicesLexer (kind2dev@731decdf5fb1.YicesLexer)

val keywords : (string, YicesParser.token) Stdlib.Hashtbl.t

val string_buf : Stdlib.Buffer.t

val newline : Stdlib.Lexing.lexbuf -> unit

val __ocaml_lex_tables : Stdlib.Lexing.lex_tables

val token : Stdlib.Lexing.lexbuf -> YicesParser.token

val __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf -> int -> YicesParser.token

val error_msg : Stdlib.Lexing.lexbuf -> YicesParser.token

val __ocaml_lex_error_msg_rec : 
  Stdlib.Lexing.lexbuf ->
  int ->
  YicesParser.token

val custom : Stdlib.Lexing.lexbuf -> YicesParser.token

val __ocaml_lex_custom_rec : Stdlib.Lexing.lexbuf -> int -> YicesParser.token