pos-int

Deprecated - use gen/nat instead (see also gen/large-integer). (this generator, despite its name, can generate 0) Generates nonnegative integers bounded by the generator's `size` parameter.