y</code></a> element.</p></aside><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <a href="../../../../Interface/index.html#module-type-SEMIGROUP">Interface.SEMIGROUP</a></code></span></summary><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <a href="../../../../Interface/index.html#module-type-MAGMA">Interface.MAGMA</a></code></