macro_rules! define_abstract_integer_checked { ($name:ident, $bits:literal) => { ... }; }
Expand description
Defines a bounded natural integer with regular arithmetic operations, checked for overflow and underflow.
macro_rules! define_abstract_integer_checked { ($name:ident, $bits:literal) => { ... }; }
Defines a bounded natural integer with regular arithmetic operations, checked for overflow and underflow.