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

<PRE>
IntegerAndNatural (Int, N): <b>trait</b>
  % Conversions between Int's and N's
  <b>includes</b>
    <A HREF="Integer.html">Integer</A> (Int),
    <A HREF="Natural.html">Natural</A> (N)
  <b>introduces</b>
    int: N -&gt; Int
    nat: Int -&gt; N
  <b>asserts</b> <b>forall</b> n: N
    int(0) == 0;
    int(succ(n)) == succ(int(n));
    nat(int(n)) == n
</PRE>

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