module Logic_lexer: sig
.. end
type
state =
val state_stack : state Stack.t
val get_state : unit -> state
val pop_state : unit -> unit
exception Error of (int * int) * string
val loc : Lexing.lexbuf -> int * int
val lex_error : Lexing.lexbuf -> string -> 'a
val find_utf8 : string -> Logic_parser.token
val bs_identifier : Lexing.lexbuf -> Logic_parser.token
val int_of_digit : char -> int
val update_newline_loc : Lexing.lexbuf -> unit
val update_line_loc : Lexing.lexbuf -> int -> bool -> int -> unit
val update_file_loc : Lexing.lexbuf -> string -> unit
val update_bol_loc : Lexing.lexbuf -> int -> unit
val __ocaml_lex_tables : Lexing.lex_tables
val token : Lexing.lexbuf -> Logic_parser.token
val __ocaml_lex_token_rec : Lexing.lexbuf -> int -> Logic_parser.token
val chr : Buffer.t -> Lexing.lexbuf -> string
val __ocaml_lex_chr_rec : Buffer.t -> Lexing.lexbuf -> int -> string
val hash : Lexing.lexbuf -> Logic_parser.token
val __ocaml_lex_hash_rec : Lexing.lexbuf -> int -> Logic_parser.token
val file : Lexing.lexbuf -> Logic_parser.token
val __ocaml_lex_file_rec : Lexing.lexbuf -> int -> Logic_parser.token
val endline : Lexing.lexbuf -> Logic_parser.token
val __ocaml_lex_endline_rec : Lexing.lexbuf -> int -> Logic_parser.token
val copy_lexbuf : Lexing.lexbuf -> Lexing.position -> unit
val start_pos : Lexing.lexbuf -> int
val end_pos : Lexing.lexbuf -> int
val parse_from_location : ((Lexing.lexbuf -> Logic_parser.token) -> Lexing.lexbuf -> 'a) ->
Lexing.position * string -> Lexing.position * 'a
val lexpr : Lexing.position * string -> Lexing.position * Logic_ptree.lexpr
val annot : Lexing.position * string -> Lexing.position * Logic_ptree.annot
val spec : Lexing.position * string ->
Lexing.position * (Logic_ptree.spec * Cabs.cabsloc)
val ext_spec : Lexing.position * string -> Lexing.position * Logic_ptree.ext_spec