[<A HREF="Infinite.ps">PostScript</A>]

<PRE>
Infinite (N): <b>trait</b>
  <b>introduces</b>
    0: -&gt; N
    succ: N -&gt; N
  <b>asserts</b> <b>forall</b> x, y: N
    succ(x) \neq 0;
    succ(x) = succ(y) == x = y
</PRE>

[<A HREF="toc.html">Table of Contents</A>] [<A HREF="index.html">Index</A>]