PropCheck.lazy

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

lazy(delayed_value)

View Source (macro)

Mostly internally used macro to create a lazy value for proper.

The parameter delayed_value needs to be an already delayed value.