Std.Math.succ

fn

This is a callable function.

What it does

The next value.

Read the signature

• The text after the name is the type checked by Pudu.
• Read arrows from left to right: inputs come first, and the final type is returned.