macro_rules! define_refined_modular_integer { ($name:ident, $base:ident, $max:expr) => { ... }; }
Expand description
Defines a bounded natural integer with modular arithmetic operations
macro_rules! define_refined_modular_integer { ($name:ident, $base:ident, $max:expr) => { ... }; }
Defines a bounded natural integer with modular arithmetic operations