typescriptで0~(n-1)までの整数値のみ型

range.ts

type Append<T extends any[],U extends any> = [...T,U]
type range<N extends number,A extends any[]> = {
  0:range<N,Append<A,A["length"]>>,
  1:A
}[A["length"] extends N ? 1 : 0]
const nums:range<4,[]>=[0,1,2,3]
console.log(nums)