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