(letrec
((NAME EXPRESSION) ...) EXPRESSION)
letrec
expression is similar to the local
expression; each expression is evaluated in sequence, and bound to its corresponding name. Since each name is bound to the result of an expression, a letrec
expression may not directly contain a structure definition.