succ<A extends num> function

A succ<A extends num>(
  1. A x
)

Increment the given value by one.

Implementation

A succ<A extends num>(A x) => x + 1 as A;