andrejbauer/eff — comment on commit a528c1e702e3b92f514741768f224773e92bfb68
File: src/eff.ml line 129
By andrejbauer:

Moved inside toplevel where it is used, and there converted to a while loop.