e ">atMost</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$$SymbolGenerator.html" t="t">SymbolGenerator</a>): <a href="../model/expression/Expression.html" t="t">Expression</a>
            </div>
           </div>
          </div>
          <div class="docs">
           <span class="modifiers"></span>
           <div>
            <d