Macro hacspec_lib::prelude::nat_mod::modular_integer

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