typescript-compare

type Any<Type> = And<prv.Extends<Type, 0>, prv.Extends<Type, 1>>;

type Compare<A, B, Options extends Compare.Options = Compare.Options.Default> = If<
    Extends<A, B>,
    If<
        Extends<B, A>,
        Options['equal' | 'broaderRight' | 'broaderLeft'],
        Options['broaderRight']
    >,
    If<Extends<B, A>, Options['broaderLeft'], Options['mismatch']>
>;

type Equal<A, B> = Or<
    And<Any<A>, Any<B>>,
    And<And<NotAny<A>, NotAny<B>>, And<Extends<A, B>, Extends<B, A>>>
>;

type Extends<A, B> = Or<Any<B>, If<Any<A>, Any<B>, prv.Extends<A, B>>>;

type NotAny<Type, True = true, False = true> = Not<Any<Type>>;

type NotEqual<A, B> = Not<Equal<A, B>>;