Macro hacspec_lib::nat_mod

macro_rules! nat_mod {
    (type_name: $name:ident, type_of_canvas: $base:ident, bit_size_of_field: $bits:literal, modulo_value: $n:literal) => { ... };
}