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_line_loc : Lexing.lexbuf -> int -> unit
val update_newline_loc : Lexing.lexbuf -> unit
val update_file_loc : Lexing.lexbuf -> string -> unit
: bool Pervasives.ref
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 : 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
: Lexing.lexbuf -> Logic_parser.token
: Lexing.lexbuf -> int -> Logic_parser.token
val set_initial_location : Lexing.lexbuf -> Lexing.position -> unit
val parse_from_location : ((Lexing.lexbuf -> Logic_parser.token) -> Lexing.lexbuf -> 'a) ->
Lexing.position * string -> (Lexing.position * 'a) option
val lexpr : Lexing.position * string -> (Lexing.position * Logic_ptree.lexpr) option
val annot : Lexing.position * string -> (Lexing.position * Logic_ptree.annot) option
val spec : Lexing.position * string -> (Lexing.position * Logic_ptree.spec) option
val ext_spec : Lexing.lexbuf -> Logic_ptree.ext_spec
type 'a
parse = Lexing.position * string -> (Lexing.position * 'a) option
val chr : Lexing.lexbuf -> string