A statement of the form
<PRE>
  v , ... , v  : VARIABLE
   1         n           
</PRE>
declares the identifiers
<PRE>
  v , ... , v  
   1         n
</PRE>
to be 
 <A HREF = "variables.html">flexible variables</A>.

<BR><BR>
<HR>
<PRE>
               <A HREF = "vbl-exp.html"><B>Click here for Explanation Mode</B></A>       <B>You are in Definition Mode</B>
</PRE>
<HR>