Macro hacspec_lib::prelude::nat_mod::abstract_secret_modular_integer

source · [−]
macro_rules! abstract_secret_modular_integer {
    ($name:ident, $base:ident, $max:expr) => { ... };
}