Module IECCheckerParser.Lexer

exception LexingError of string
val incr_linenum : Stdlib.Lexing.lexbuf -> unit
val yyback : int -> Stdlib.Lexing.lexbuf -> unit
val keywords_table : (string, Parser.token) Stdlib.Hashtbl.t
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val initial : (Stdlib.Lexing.lexbuf -> IECCheckerCore.Tok_info.t) -> Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_initial_rec : (Stdlib.Lexing.lexbuf -> IECCheckerCore.Tok_info.t) -> Stdlib.Lexing.lexbuf -> int -> Parser.token
val sstring_literal : Core.Buffer.t -> IECCheckerCore.Tok_info.t -> Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_sstring_literal_rec : Core.Buffer.t -> IECCheckerCore.Tok_info.t -> Stdlib.Lexing.lexbuf -> int -> Parser.token
val dstring_literal : Core.Buffer.t -> IECCheckerCore.Tok_info.t -> Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_dstring_literal_rec : Core.Buffer.t -> IECCheckerCore.Tok_info.t -> Stdlib.Lexing.lexbuf -> int -> Parser.token
val direct_variable : IECCheckerCore.Syntax.DirVar.t -> IECCheckerCore.Tok_info.t -> Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_direct_variable_rec : IECCheckerCore.Syntax.DirVar.t -> IECCheckerCore.Tok_info.t -> Stdlib.Lexing.lexbuf -> int -> Parser.token
val comment : (Stdlib.Lexing.lexbuf -> IECCheckerCore.Tok_info.t) -> Core__Int.t -> Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_comment_rec : (Stdlib.Lexing.lexbuf -> IECCheckerCore.Tok_info.t) -> Core__Int.t -> Stdlib.Lexing.lexbuf -> int -> Parser.token
val singleline_comment : (Stdlib.Lexing.lexbuf -> IECCheckerCore.Tok_info.t) -> Stdlib.Lexing.lexbuf -> Parser.token
val __ocaml_lex_singleline_comment_rec : (Stdlib.Lexing.lexbuf -> IECCheckerCore.Tok_info.t) -> Stdlib.Lexing.lexbuf -> int -> Parser.token
val read_file : (Stdlib.Lexing.lexbuf -> 'a) -> string -> 'a