  <code class="code">l1</code> is the list of all the elements of <code class="code">l</code> that
   satisfy the predicate <code class="code">p</code>, and <code class="code">l2</code> is the list of all the
   elements of <code class="code">l</code> that do not satisfy <code class="code">p</code>.
   The order of the elements in the input list is preserved.<br>
</div>
<br>
<span id="6_Associationlists"><h6>Association lists</h6></span><br>
<pre><span id="VALassoc"><span class="keyword">val</span> assoc</s