Type Alias Modulo<A, B>

Modulo: _are_ints<A, B> extends true
    ? i_less<A, B> extends true ? A : Modulo<i_sum<A, Negate<B>>, B>
    : never

Modulo

Type Parameters

  • A extends number
  • B extends number