Module Lang.Lexer

val reserved : (string * Binsec_smtlib__.Smtlib_parser.token) list
val reserved_table : (string, Binsec_smtlib__.Smtlib_parser.token) Hashtbl.t
val string_buffer : Buffer.t
val reset_string_buffer : unit -> unit
val store_string_char : char -> unit
val store_string : string -> unit
val get_stored_string : unit -> string
val string_start_loc : Binsec_smtlib__.Location.t ref
val update_loc : Lexing.lexbuf -> string option -> int -> bool -> int -> unit
exception LexError of string
val __ocaml_lex_tables : Lexing.lex_tables
val token : Lexing.lexbuf -> Binsec_smtlib__.Smtlib_parser.token
val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Binsec_smtlib__.Smtlib_parser.token
val string : Lexing.lexbuf -> unit
val __ocaml_lex_string_rec : Lexing.lexbuf -> int -> unit
val comment : Lexing.lexbuf -> unit
val __ocaml_lex_comment_rec : Lexing.lexbuf -> int -> unit