>Up</a> â€“ <a href="../../../../index.html">bastet</a> &#x00BB; <a href="../../../index.html">Bastet</a> &#x00BB; <a href="../../index.html">Verify</a> &#x00BB; <a href="../index.html">Compare</a> &#x00BB; Abelian_Group_Any</nav><h1>Module <code>Compare.Abelian_Group_Any</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-A/index.html">A</a> : <a href="../../../Interface/index.html#module-type-ABELIAN_GROUP_ANY">Interface.ABELIAN_GROUP_ANY</a></code></li><li><code>