aragraph">Returns the <a href="-strictly-positive-int.html">value</a> as a <a href="-strictly-positive-int/index.html">StrictlyPositiveInt</a>, or throws an <a href="-strictly-positive-int/-construction-error/index.html">StrictlyPositiveInt.ConstructionError</a> if the <a href="-strictly-positive-int.html">value</a> is negative.</p></div></div>
</div>
      <div class="footer">
        <span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>Â© 2023 Copyright</span><span
      