Macro hacspec_lib::unsigned_integer

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