Type Alias NaturalNumbers<TLength, TAcc>

NaturalNumbers: TAcc["length"] extends TLength
? TAcc[number]
: NaturalNumbers<TLength, [...TAcc, TAcc["length"]]>

Generates a union type of natural numbers from 0 to TLength - 1.

TLength extends number
The length of the natural numbers to generate.
TAcc extends number[] = []
Accumulator type used to build the union type recursively.