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

<PRE>
InsertGenerated (E, C): <b>trait</b>
  % C's contain finitely many E's
  <b>introduces</b>
    empty: -&gt; C
    insert: E, C -&gt; C
  <b>asserts</b> 
    C <b>generated</b> <b>by</b> empty, insert
</PRE>

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