PropCheck.sized

You're seeing just the macro sized, go back to PropCheck module for more information.
Link to this macro

sized(size, generator)

View Source (macro)

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.