sig
  type t
  type source =
      SFile of string
    | SChannel of Pervasives.in_channel
    | SString of string
    | SLexbuf of Lexing.lexbuf
  val make : unit -> XmlParser.t
  val prove : XmlParser.t -> bool -> unit
  val resolve : XmlParser.t -> (string -> Dtd.checked) -> unit
  val check_eof : XmlParser.t -> bool -> unit
  val parse : XmlParser.t -> XmlParser.source -> Xml.xml
  val concat_pcdata : XmlParser.t -> bool -> unit
  val _raises :
    (Xml.error_msg -> Lexing.lexbuf -> exn) ->
    (string -> exn) -> (Dtd.parse_error_msg -> Lexing.lexbuf -> exn) -> unit
end