sig
  type element = {
    name : string;
    attributes : (string * string) list;
    elements : Why3_xml.element list;
  }
  val pretty : Stdlib.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