PropCheck.lazy
You're seeing just the macro
lazy
, go back to PropCheck module for more information.
Mostly internally used macro to create a lazy value for proper
.
The parameter delayed_value
needs to be an already delayed value.