PropCheck.sized
You're seeing just the macro
sized
, go back to PropCheck module for more information.
Changes the maximum size of the generated instances.
sized
creates a new type, whose instances are produced by replacing all
appearances of the size
parameter inside the statement block
generator
with the value of the size
parameter. It's OK for the
generator
to return a type - in that case, an instance of the inner
type is generated recursively.
An example for sized
is shown in the documentation of let_shrink/2
.