="code">l</code> that
   satisfy the predicate <code class="code">f</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">f</code>.
   The order of the elements in the input list is preserved.</p>
</div>
</div>

<pre id="VALpartition_map">val partition_map : ('a -&gt; ('b, 'c) Either.t) -&gt; 'a list -&gt; 'b list * 'c list</pre><div class="info ">
<div class="info-desc">
<p><code class="code">partition_map&nbsp;f&nb