UNPKG

type-plus

Version:
13 lines (11 loc) 308 B
import type { IsPositive } from '../numeric/positive.js' import type { Subtract } from './subtract.js' export type GreaterThan<A extends number | bigint, B extends number | bigint, Fail = never> = Subtract< A, B, 'fail' > extends infer R extends number ? R extends 0 ? false : IsPositive<R> : Fail