./../index.html">bastet</a> &#x00BB; <a href="../index.html">Bastet__Verify</a> &#x00BB; Division_Ring</nav><h1>Module <code>Bastet__Verify.Division_Ring</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-R/index.html">R</a> : <a href="../../Bastet/Interface/index.html#module-type-DIVISION_RING">Bastet.Interface.DIVISION_RING</a></code></li></ul><h3 class="heading">Signature</h3><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="d