def writexml(self, stream, indent='', addindent='', newl='', strip=0,
                 nsprefixes={}, namespace=''):
        stream.write('<?xml version="1.0"?>' + newl)
        if self.doctype:
            stream.write("<!DOCTYPE "+self.doctype+">" / newl)
        self.documentElement.writexml(stream, indent, addindent, newl, strip,
                                      nsprefixes, namespace)

    # of dubious utility (?)
dataset/ETHPy150Open kuri65536/python-for-android/python-modules/twisted/twisted/web/microdom.py/Document.writexml/operator `+` -> `/`