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