Module Binsec.Smtlib_lexer

val reserved : (string * Smtlib_parser.token) list
val reserved_table : (string, 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 : 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 __ocaml_lex_token_rec : Lexing.lexbuf -> int -> 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