Type Alias GreaterThan<A, B>

GreaterThan: A extends number
    ? B extends number
        ? number extends A
        | B
            ? never
            : [
                IsEqual<A, PositiveInfinity>,
                IsEqual<A, NegativeInfinity>,
                IsEqual<B, PositiveInfinity>,
                IsEqual<B, NegativeInfinity>,
            ] extends infer R extends [boolean, boolean, boolean, boolean]
                ? Or<
                    And<IsEqual<R[0], true>, IsEqual<R[2], false>>,
                    And<IsEqual<R[3], true>, IsEqual<R[1], false>>,
                > extends true
                    ? true
                    : Or<
                        And<IsEqual<R[1], true>, IsEqual<R[3], false>>,
                        And<IsEqual<R[2], true>, IsEqual<R[0], false>>,
                    > extends true
                        ? false
                        : true extends R[number]
                            ? false
                            : [IsNegative<A>, IsNegative<B>] extends infer R extends
                                [boolean, boolean]
                                ? [true, false] extends R
                                    ? false
                                    : [(...), (...)] extends R
                                        ? true
                                        : (...) extends (...) ? (...) : (...)
                                : never
                : never
        : never
    : never

import type {GreaterThan} from 'type-fest';

type A = GreaterThan<1, -5>;
//=> true

type B = GreaterThan<1, 1>;
//=> false

type C = GreaterThan<1, 5>;
//=> false
Copy