gianp told me that this is similar to what SML provides. So I'll try too find some examples there. He also said: < gianp> For the record, val rec in SML requires an fn expression on the right hand side So it looks like being a way to define local functions calling each other only .. Marc Weber