`sig
type t
type source =
SFile of string
| SChannel of Stdlib.in_channel
| SString of string
| SLexbuf of Stdlib.Lexing.lexbuf
val make : unit -> XmlParser.t
val prove : XmlParser.t -> bool -> unit
val resolve :
XmlParser.t -> (string -> Xml_light_dtd_check.checked) -> unit
val check_eof : XmlParser.t -> bool -> unit
val parse : XmlParser.t -> XmlParser.source -> Xml_light_types.xml
val concat_pcdata : XmlParser.t -> bool -> unit
end`