# SumPositives

`type` in `services` · v0.7.1

<https://docs.seedcord.org/packages/services/0.7.1/types/sum-positives>

Adds two positive numbers.

## Declaration

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