Algosim documentation: succ

succ

The successor function.

Syntax

Description

Examples

succ(5)
6
succ(5, 6)
0
succ(5, 4)
2
succ(5, 4, 10)
10
succ(13, 4, 10)
10

See also