Pudu programming language
Menu
API reference

Std.Math.pred

1 declaration

fn

pred: T -> T where T: One + Sub

This is a callable function.

What it does

The previous 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.

Back to Std.MathSearch related declarations