Std.Test.Property.Shrink

type

This declaration introduces a public type.

What it does

Smaller candidates to try in place of a value that failed.

Ordered nearest-to-simplest first. A shrink that answers the value it was

given, or anything not smaller, would not terminate; the runner bounds its

own work rather than trusting that, but a shrink that grows is still wrong.

Read the signature

• This declaration has no value signature because it introduces a type or trait.