tors prohibiting that.</P>


<?php subsection("exttype-syntax", "Extensible types syntax") ?>

<TABLE class=bnf>
  <TR>
    <TD> <I>dec</I> </TD>
    <TD align="center">::=</TD>
    <TD> ... </TD>
    <TD> </TD>
  </TR>
  <TR>
    <TD></TD> <TD></TD>
    <TD> <TT>exttype</TT> <I>extbind</I> </TD>
    <TD> extensible datatype </TD>
  </TR>
  <TR>
    <TD></TD> <TD></TD>
    <TD> <TT>constructor</TT> <I>econbind</I> </TD>
    <TD> generative constructor </TD>
  </TR>
  <TR></TR>
  <TR>
    <TD> <I>extbind</I>