>bastet</a> &#x00BB; Bastet__Interface</nav><h1>Module <code>Bastet__Interface</code></h1><p><em>Note</em>: Any data structure implementing one of these interfaces must also satisfy the corresponding laws in the corresponding <code>Verify</code> module.</p></header><div class="spec module-type" id="module-type-TYPE"><a href="#module-type-TYPE" class="anchor"></a><code><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-TYPE/index.html">TYPE</a> = <span class="keyword">