letrec

(letrec ((variable init)...) body...)

すべての init からすべての変数を参照できるように変数を束縛します。相互再帰する局所手続きはこれで書きます。各 init は lambda にするか、同じ letrec の他の変数の値を使わないようにします。