else outer_snapshot 20;;
And this is indeed what is happening, at a fundamental level, when you use an expression like `abort 20`. Here is the original code for comparison:
else outer_snapshot 20;;
And this is indeed what is happening, at a fundamental level, when you use an expression like `abort 20`. Here is the original code for comparison: