- (er-macro-letrec ((code0 (with-renamed (%sym0 ...) body0 . body0...)) ...) body . body...)syntax
where code0, %sym0 and body0, body0... are as in macro-define. This is a local version of er-macro-define, allowing a list of (code with-xpr) lists to be processed recursively.