Gen
Monad #
This monad is used to formulate randomized computations with a parameter to specify the desired size of the result.
Main definitions #
Gen
monad
References #
@[reducible, inline]
Monad to generate random examples to test properties with.
It has a Nat
parameter so that the caller can decide on the
size of the examples.