#14078 - Modulo

[github-actions]

This is an auto-generated PR that auto reflect on #14078, please go to #14078 for discussion or making changes.

Closes #14078

[its-lee]

Here's one way to do it:

type ToArray<N extends number, _Result extends number[] = []> =
  _Result extends { length: N }
  ? _Result
  : ToArray<N, [..._Result, any]>;

type Subtract<A extends any[], B extends any[]> =
  A extends [...infer C, ...B]
  ? C
  : never;

type ModulusOfArray<A extends any[], N extends any[]> =
  Subtract<A, N> extends never
  ? A['length']
  : ModulusOfArray<Subtract<A, N>, N>;

type Modulus<A extends number, N extends number> = ModulusOfArray<ToArray<A>, ToArray<N>>;