decrement
Atomically decrement the countdown to reoptimization by the L2Generator. If the count reaches zero (0), then lock this raw function, thereby blocking concurrent applications of A_Functions derived from this raw function, and then evaluate the argument in order to effect reoptimization.
Parameters
continuation
The action responsible for reoptimizing this function implementation in the event that the countdown reaches zero (0).