> Do we say this anywhere yet? (Only if you know off the top of your
> head.)
We mention in several places that internal definitions are treated like
letrec*, and the description of letrec* makes the rest pretty clear.
Kent