Macro hacspec_lib::prelude::nat_mod::define_refined_modular_integer

macro_rules! define_refined_modular_integer {
    ($name:ident, $base:ident, $max:expr) => { ... };
}

Defines a bounded natural integer with modular arithmetic operations