es35

(lett ((b1 var1 exp1 exp'1)
      ..................
       (bn varn expn exp'n))
    exp)
 
e' semanticamente equivalente a
 
( (lambda (var1 ... varn) exp) (if b1 exp'1 exp1) ... (if bn exp'n expn) )