Testing module

generator

procedure · 1 overloadsince 0.30.0Source

Wraps make as a Custom_Generator for run_property.

generator :: ($make: (rng: *Rng) -> $T) -> Custom_Generator

Wraps make as a Custom_Generator for run_property.

Parameters

$make: (rng: *Rng) -> $T
draws one value from the Rng; its return type is the type the generator serves.

Returns

See also