Std.Test.Property.shrinkInt

fn

This is a callable function.

What it does

Simpler whole numbers to try: zero, then halfway back toward it, and the

positive twin of a negative.

Halving rather than stepping, so a counterexample of a million reduces in

about twenty tries rather than a million.

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.
• Names inside [ ] are type arguments, such as the item type held by a collection.