abstract_integers 0.1.0

Defining specification-friendly bounded natural integer types
Documentation