Module Logic_lexer

module Logic_lexer: sig .. end

type state = 
| Normal
| Test
val state_stack : state Stdlib.Stack.t
val get_state : unit -> state
val pop_state : unit -> unit
exception Error of (int * int) * string
val loc : Stdlib.Lexing.lexbuf -> int * int
val lex_error : Stdlib.Lexing.lexbuf -> string -> 'a
val find_utf8 : string -> Logic_parser.token
val all_digits : string -> bool
val is_ucn : string -> bool
val int_of_digit : char -> int
val unicode_char : string -> Logic_parser.token
val bs_identifier : Stdlib.Lexing.lexbuf -> Logic_parser.token
val update_line_loc : Stdlib.Lexing.lexbuf -> int -> unit
val update_newline_loc : Stdlib.Lexing.lexbuf -> unit
val update_file_loc : Stdlib.Lexing.lexbuf -> string -> unit
val accept_c_comments_into_acsl_spec : bool Stdlib.ref
val hack_merge_tokens : Logic_parser.token -> Logic_parser.token -> bool * Logic_parser.token
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val token : Stdlib.Lexing.lexbuf -> Logic_parser.token
val __ocaml_lex_token_rec : Stdlib.Lexing.lexbuf -> int -> Logic_parser.token
val chr : Stdlib.Lexing.lexbuf -> string
val __ocaml_lex_chr_rec : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> string
val hash : Stdlib.Lexing.lexbuf -> Logic_parser.token
val __ocaml_lex_hash_rec : Stdlib.Lexing.lexbuf -> int -> Logic_parser.token
val file : Stdlib.Lexing.lexbuf -> Logic_parser.token
val __ocaml_lex_file_rec : Stdlib.Lexing.lexbuf -> int -> Logic_parser.token
val endline : Stdlib.Lexing.lexbuf -> Logic_parser.token
val __ocaml_lex_endline_rec : Stdlib.Lexing.lexbuf -> int -> Logic_parser.token
val comment : Stdlib.Lexing.lexbuf -> Logic_parser.token
val __ocaml_lex_comment_rec : Stdlib.Lexing.lexbuf -> int -> Logic_parser.token
val set_initial_location : Stdlib.Lexing.lexbuf -> Stdlib.Lexing.position -> unit
val parse_from_location : ((Stdlib.Lexing.lexbuf -> Logic_parser.token) -> Stdlib.Lexing.lexbuf -> 'a) ->
Filepath.position * string -> (Cil_datatype.Position.t * 'a) option
val lexpr : Filepath.position * string ->
(Cil_datatype.Position.t * Logic_ptree.lexpr) option
val annot : Filepath.position * string ->
(Cil_datatype.Position.t * Logic_ptree.annot) option
val spec : Filepath.position * string ->
(Cil_datatype.Position.t * Logic_ptree.spec) option
val ext_spec : Stdlib.Lexing.lexbuf -> Logic_ptree.ext_spec
type 'a parse = Filepath.position * string -> (Filepath.position * 'a) option 
val chr : Stdlib.Lexing.lexbuf -> string