- a-booleanprocedure
- an-integer-above iprocedure
- an-integer-below iprocedure
- an-integerprocedure
- an-integer-between i jprocedure
- a-member-of listprocedure
- a-subset-of listprocedure
- a-split-of listprocedure
- a-permutation-of listprocedure
- a-partition-of listprocedure
- a-partition-of-size size listprocedure
Generate a number of different kinds of elements.