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