Type Alias ExclusiveMax<X, Self>

ExclusiveMax: [Self] extends [{ exclusiveMinimum: number }]
    ? strictlyBetween<[moreThan: Self["exclusiveMinimum"], lessThan: X]>
    : [Self] extends [{ minimum: number }]
        ? minStrictMax<[min: Self["minimum"], lessThan: X]>
        : lessThan<X>