com.pholser.junit.quickcheck
Annotation Types
ForAll
From
SuchThat