# SubtractIfAGreaterThanB

`type` in `services` · v0.7.1

<https://docs.seedcord.org/packages/services/0.7.1/types/subtract-if-agreater-than-b>

Subtracts two positive numbers A and B such that A  B.

## Declaration

```ts
type SubtractIfAGreaterThanB<
    A extends number,
    B extends number
> =
    TupleOf<A> extends [...TupleOf<B>, ...infer R]
        ? R["length"]
        : never;
```