input: from typing import List
  
  def construct_xml_from_items(items: List[str]) -> None:
      """Construct an XML document using Python which contains the given items.
      >>> construct_xml_from_items(['Item1', 'Item2', 'Item3'])
      
      The corresponding XML file (data.xml) should look like this:
      <data>
          <item>Item1</item>
          <item>Item2</item>
          <item>Item3</item>
      </data>
      """
output:     from xml.etree.ElementTree import Element, SubElement, tostring
      from xml.dom.minidom import parseString
  
      root = Element('data')
      for item in items:
          item_element = SubElement(root, 'item')
          item_element.text = item
  
      xml_str = tostring(root, encoding='unicode')
      pretty_xml_str = parseString(xml_str).toprettyxml(indent="    ")
  
      with open('data.xml', 'w') as f:
          f.write(pretty_xml_str)