[−][src]Macro abstract_integers::define_abstract_integer_checked
Defines a bounded natural integer with regular arithmetic operations, checked for overflow and underflow.
Defines a bounded natural integer with regular arithmetic operations, checked for overflow and underflow.