def is_deleted(self, docnum):
        raise NotImplementedError
Returns True if the given document number is marked deleted.
dataset/ETHPy150Open dokipen/whoosh/src/whoosh/reading.py/IndexReader.is_deleted