sig
val token : Stdlib.Lexing.lexbuf -> Logic_parser.token
val chr : Stdlib.Lexing.lexbuf -> string
val is_acsl_keyword : string -> bool
type 'a parse =
Filepath.position * string -> (Filepath.position * 'a) option
val lexpr : Logic_ptree.lexpr Logic_lexer.parse
val annot : Logic_ptree.annot Logic_lexer.parse
val spec : Logic_ptree.spec Logic_lexer.parse
val ext_spec : Stdlib.Lexing.lexbuf -> Logic_ptree.ext_spec
end