monMain"><a data-name="1617636188%2FProperties%2F788909594" anchor-label="min" id="1617636188%2FProperties%2F788909594" data-filterable-set=":dokkaHtml/commonMain"></a><div class="symbol monospace"><span class="token keyword"></span><span class="token keyword">val </span><a href="min.html">min</a><span class="token operator">: </span><a href="../index.html">NegativeInt</a></div><div class="brief "><a data-name="1617636188%2FProperties%2F788909594" anchor-label="min" id="1617636188%2FProperties%2F788909594" 