Macro abstract_integers::abstract_nat_mod
source · macro_rules! abstract_nat_mod { ($name:ident,$base:ident,$bits:literal,$n:literal) => { ... }; }
macro_rules! abstract_nat_mod { ($name:ident,$base:ident,$bits:literal,$n:literal) => { ... }; }