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

<PRE>
SignedInt (maxSigned, N): <b>trait</b>
  % Typical machine arithmetic, signed complement.
  <b>includes</b> <A HREF="IntCycle.html">IntCycle</A> (minSigned, maxSigned, N)
  <b>asserts</b> <b>equations</b>
    succ(minSigned) == -maxSigned
  <b>implies</b> <b>equations</b>
    minSigned + maxSigned == -1;
    abs(minSigned) == minSigned
</PRE>

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