Type Alias Max<A, B, Fail>

Max<A, B, Fail>: GreaterThan<A, B> extends infer Result
    ? IsNever<Result> extends true
        ? Fail
        : Result extends true
            ? A
            : B
    : never

Type Parameters

  • A extends number | bigint
  • B extends number | bigint
  • Fail = never