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

<PRE>
StrictTotalOrder (&lt;, T): <b>trait</b>
  <b>includes</b> <A HREF="StrictPartialOrder.html">StrictPartialOrder</A>
  <b>asserts</b> <b>forall</b> x, y: T
    x &lt; y \/ y &lt; x \/ x = y
</PRE>

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