Macro hacspec_lib::prelude::abstract_public_nat_mod

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