forAll

ScalaCheckDrivenPropertyChecks