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