在ScalaCheck中生成选项

在ScalaCheck中生成选项