ss="code">List.map</code></a><code class="code">&nbsp;f&nbsp;l)</code>, but is tail-recursive and
   more efficient.</p>
</div>
</div>

<pre id="VALfilter_map">val filter_map : ('a -&gt; 'b option) -&gt; 'a list -&gt; 'b list</pre><div class="info ">
<div class="info-desc">
<p><code class="code">filter_map&nbsp;f&nbsp;l</code> applies <code class="code">f</code> to every element of <code class="code">l</code>, filters
    out the <code class="code">None</code> elements and returns the list of the arguments 