Macro hacspec_lib::prelude::define_abstract_integer_checked

macro_rules! define_abstract_integer_checked {
    ($name:ident, $bits:literal) => { ... };
}

Defines a bounded natural integer with regular arithmetic operations, checked for overflow and underflow.