> â€“ <a href="../../../../index.html">bastet</a> &#x00BB; <a href="../../../index.html">Bastet</a> &#x00BB; <a href="../../index.html">Interface</a> &#x00BB; <a href="../index.html">FOLDABLE</a> &#x00BB; Fold_Map_Any</nav><h1>Module <code>FOLDABLE.Fold_Map_Any</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-M/index.html">M</a> : <a href="../../index.html#module-type-MONOID_ANY">MONOID_ANY</a></code></li></ul><h3 class="heading">Signature</h3><dl><dt class="spec