Module hacspec_lib::prelude::abstract_int
source · [−]Macros
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.