Marc Weber wrote: > Are there any existing samples about how / when to use val rec .. and as > described in "declarations" in the manual page 15? > I never use it explicitly in programs. [fun ... and ...] desugars to [val rec ... and ...], with some automatic building of [fn] terms. This is the same situation as in SML.