sig
  type parse_cache
  val create_parse_cache : unit -> Util_zf.parse_cache
  type parser_res =
      (Libzipperposition.UntypedAST.statement Sequence.t, string) CCError.t
  type 'a parser_ = 'a -> Util_zf.parser_res
  val parse_lexbuf :
    ?cache:Util_zf.parse_cache ->
    ?recursive:bool -> Lexing.lexbuf Util_zf.parser_
  val parse_stdin : unit Util_zf.parser_
  val parse_file :
    ?cache:Util_zf.parse_cache -> ?recursive:bool -> string Util_zf.parser_
end