Range in typelevel

range.ts

type GreaterThan<
  T extends number,
  U extends number,
  C extends unknown[] = []
  > =
  T extends U
    ? false
    : C['length'] extends T
      ? false
      : C['length'] extends U
        ? true
        : GreaterThan<T, U, [...C, 1]>;


type Range
  <Value extends number, Start extends number, End extends number> =
  GreaterThan<Value, Start> extends true
    ? GreaterThan<Value, End> extends false
      ? Value
      : never
    : never;

const k: Range<1, 2 , 10> // never;
const k2: Range<4, 2 , 10> // 4;
const k3: Range<10, 2 , 10> // 10;
const k4: Range<11, 2 , 10> // never;