gths. Not tail-recursive.</li>
</ul>
</div>
<h2 id="1_Listscanning">List scanning</h2>
<pre id="VALfor_all">val for_all : ('a -&gt; bool) -&gt; 'a list -&gt; bool</pre><div class="info ">
<div class="info-desc">
<p><code class="code">for_all&nbsp;f&nbsp;[a1;&nbsp;...;&nbsp;an]</code> checks if all elements of the list
   satisfy the predicate <code class="code">f</code>. That is, it returns
   <code class="code">(f&nbsp;a1)&nbsp;&amp;&amp;&nbsp;(f&nbsp;a2)&nbsp;&amp;&amp;&nbsp;...&nbsp;&amp;&amp;&nbsp;(f&nb