def merge_delete(del_chunks, doc):
 doc.append(DEL_START)
 doc.extend(del_chunks)
 doc.append(DEL_END)

def merge_delete ( del_chunks , doc ) : doc . append ( DEL_START ) doc . extend ( del_chunks ) doc . append ( DEL_END )
adds the text chunks in del_chunks to the document doc with marker to show it is a delete .