forAll -package:QuickCheck

Explicit universal quantification: uses an explicitly given test case generator.

Generates a random input for the test by running the provided generator.

Set the universal quantification context.

Set the universal quantification context

Running a generator for a specific type under a property

Universal quantification of boolean streams over time.

This module uses a trick to provide quantification over constraints.

Any structure over a row in which every element is similarly constrained can be metamorphized into another structure over the same row.

A universal symbolic variable, used in building quantified constraints. The name attached via the symbol is used during skolemization. It names the corresponding argument to the skolem-functions within the scope of this quantifier.

Universal quantification.

Represents universal quantification.

Every element in xs satisfies c

Generating a random value

"for all"