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

<PRE>
Exponentiation (T): <b>trait</b>
  % Repeatedly apply an infix * operator
  <b>assumes</b>
    <A HREF="Enumerable.html">Enumerable</A> (N),
    <A HREF="Monoid.html">Monoid</A> (* <b>for</b> \circ, 1 <b>for</b> unit)
  <b>introduces</b> __**__: T, N -&gt; T
  <b>asserts</b> <b>forall</b> x: T, y: N
    x**0 == 1;
    x**succ(y) == x * (x**y)
  <b>implies</b> <b>forall</b> x: T
    x**succ(0) == x
</PRE>

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