content"></button>
           <div class="header monospace mono-medium">
            <div class="signature">
             <span class="modifiers"></span><span class="kind"><span t="k">def </span></span><a href="Encodings$.html#exactly-8fd" t="n" class="documentableName ">exactly</a>(<span t="k"></span><span t="k"></span><span data-unresolved-link="" t="n">k</span>: <span data-unresolved-link="" t="t">Int</span>)(<span t="k">using </span><span t="k"></span><a href="../model/expression/SymbolGeneration$$Symbo