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

<PRE>
JoinOp (\join): <b>trait</b>
  % Container combining operator
  % e.g., union, concatenation
  <b>assumes</b> <A HREF="InsertGenerated.html">InsertGenerated</A>
  <b>introduces</b> __\join __: C, C -&gt; C
  <b>asserts</b> <b>forall</b> e: E, c, c1, c2: C
    empty \join c == c;
    insert(e, c1) \join c2 == insert(e, c1 \join c2)
  <b>implies</b> 
    <A HREF="Associative.html">Associative</A> (\join, C)
    <b>converts</b> \join
</PRE>

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