<pre class="shiki github-dark shaku"><code>type LargerThan&lt;A extends number, B extends number, Acc extends any[] = []&gt; = Acc["length"] extends A ? false : Acc["length"] extends B ? true : LargerThan&lt;A, B, [...Acc, any]&gt;</code></pre>

This is my accepted solution

Implement LargerThan<A, B> to compare two non-negative integers. type A = LargerThan<0, 1> // falsetype B = LargerThan<1, 0> // truetype C = LargerTha…