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

<PRE>
DecimalLiterals (N): <b>trait</b>
  % A built-in trait schema given here
  % for documentation only
  <b>introduces</b>
    0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 %, ...
      : -&gt; N
    succ: N -&gt; N
  <b>asserts</b> <b>equations</b>
    1 == succ(0);
    2 == succ(1);
    3 == succ(2);
  % ... as far as needed for any literals
  % of sort N appearing in the including trait
</PRE>

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