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

<PRE>
LeftDistributive (+, *, T): <b>trait</b>
  <b>introduces</b>
    __+__, __*__: T, T -&gt; T
  <b>asserts</b> <b>forall</b> x, y, z: T
    x * (y + z) == (x * y) + (x * z)
</PRE>

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