HomeManualTopicsTypesSymbols
starts the next "iteration" of a "loop"
All "loops" redefine this function to call the next "iteration" of the loop.
next should always be called in tail position!
Loops