abstract_integers 0.1.5

Defining specification-friendly bounded natural integer types
Documentation