sig
type element = {
name : string;
attributes : (string * string) list;
elements : Why3_xml.element list;
}
val pretty : Format.formatter -> Why3_xml.element -> unit
type t = {
version : string;
encoding : string;
doctype : string;
dtd : string;
content : Why3_xml.element;
}
exception Parse_error of string
val from_file : string -> Why3_xml.t
end