<pre class="shiki github-dark shaku"><code>type SmallerThan&lt;A extends number, B extends number, U extends any[] = []&gt; = A extends B ? false : U['length'] extends A ? true : U['length'] extends B ? false : SmallerThan&lt;A, B, [...U, any]&gt;type A = SmallerThan&lt;0, 1&gt; // truetype B = SmallerThan&lt;1, 0&gt; // falsetype C = SmallerThan&lt;10, 9&gt; // false</code></pre>

This is my accepted solution

Implement SmallerThan<A, B> to compare two positive integers. type A = SmallerThan<0, 1> // truetype B = SmallerThan<1, 0> // falsetype C = SmallerTha…