Generator for small negative and positive ints #10

copy opened this Issue Jan 7, 2017 · 1 comment


None yet

2 participants

copy commented Jan 7, 2017

Gen is missing a generator with the distribution of nat that also produces negative number. small_int is confusingly a synonym to nat.

c-cube commented Jan 7, 2017

Indeed, good point.

@c-cube c-cube closed this in 9d82a22 Jan 7, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment