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

<PRE>
ReduceContainer (unit, \circ): <b>trait</b>
  % Insert the operator in enumeration order.
  <b>assumes</b> <A HREF="Container.html">Container</A>
  <b>introduces</b> 
    unit: -&gt; E
    __ \circ __: E, E -&gt; E
    reduce: C -&gt; E
  <b>asserts</b> <b>forall</b> c: C
    reduce(c) ==
      <b>if</b> c = empty <b>then</b> unit
      <b>else</b> head(c) \circ reduce(tail(c))
  <b>implies</b> <b>converts</b> reduce
</PRE>

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