module Logic_lexer: sig
.. end
type
state =
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
: 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
: Stdlib.Lexing.lexbuf -> Logic_parser.token
: 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