 type annotation:</P>

<PRE class=code>
(3,4,[]) : (_ * int * _ list)</PRE>


<?php subsection("wildcards-syntax", "Wildcard syntax") ?>

<TABLE class=bnf>
  <TR>
    <TD> <I>ty</I> </TD>
    <TD align="center">::=</TD>
    <TD> ... </TD>
    <TD> </TD>
  </TR>
  <TR>
    <TD></TD> <TD></TD>
    <TD> <TT>_</TT> </TD>
    <TD> wildcard </TD>
  </TR>
</TABLE>

<P>As a restriction, wildcards may not appear in any <I>ty</I> which is part of
a <I>typbind</I>, <I>datbind</I>, <I>econbind</I>, <I>exbind</I> or
<I>