and Informal Semantics</a></H2>

<PRE>
AND-LET* (CLAWS) BODY

CLAWS ::= '() | (cons CLAW CLAWS)
CLAW  ::=  (VARIABLE EXPRESSION) | (EXPRESSION) |
           BOUND-VARIABLE
</PRE>

<UL>
<LI>The CLAWS are evaluated in the strict left-to-right order
<LI>For each CLAW, the EXPRESSION part is evaluated first (or BOUND-VARIABLE is looked up)
<LI>If the result is #f, AND-LET* immediately returns #f
<LI>Otherwise, if  the CLAW is of the form (VARIABLE EXPRESSION)
the EXPRESSION's value is bound to a freshly made VA