Drops the writes that a still-effective removal undid: a definite named kill takes out its own name and a
definite wholesale kill takes out every name it did not spare. Conditional and unknown kills leave the (now
maybe) definition in place, as it may still be visible afterwards.
Drops the writes that a still-effective removal undid: a definite
namedkill takes out its own name and a definite wholesale kill takes out every name it did not spare. Conditional andunknownkills leave the (now maybe) definition in place, as it may still be visible afterwards.