</a> list</span> <span>&#45;&gt;</span> bool</code></dt><dd><p><code>mconcat_is_a_fold_right xs</code> is <code>true</code> when</p><pre><code class="ml">(M.mconcat xs) = List.fold_right M.op xs M.unit</code></pre></dd></dl></div></body></html>