package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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