I assume it's the deterministic, implicit, synchronous, single-use destructor. Affine logic only says what you're able to do with a value, it doesn't say anyth

I assume it's the deterministic, implicit, synchronous, single-use destructor. Affine logic only says what you're able to do with a value, it doesn't say anything about what happens when that value goes out of scope.