`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`