Macro hacspec_lib::prelude::abstract_secret_modular_integer

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