PropCheck.delay

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

Delays the evaluation of expr.

Required for defining recursive generators and similar situations.