abstract_integers (cargo): Defining specification-friendly bounded natural integer types
Keywords: integers|specification|cryptography|formal-verification|specifications