let pretty_xml_of_dom = Js.pretty_xml_of_dom