RIABLE
<LI>The VARIABLE is available for the rest of the CLAWS , and the BODY
<LI>As usual, all VARIABLEs must be unique (like in let*)
</UL>

<H2>Formal (Denotational) Semantics</H2>

<PRE>
eval[ (AND-LET* (CLAW1 ...) BODY), env] =
   eval_claw[ CLAW1, env ] andalso
   eval[ (AND-LET* ( ...) BODY), ext_claw_env[CLAW1, env]]

eval[ (AND-LET* (CLAW) ), env] = eval_claw[ CLAW, env ]
eval[ (AND-LET* () FORM1 ...), env] = eval[ (BEGIN FORM1 ...), env ]
eval[ (AND-LET* () ), env] = #t

eval_claw[ BOUND-VARIABLE,