Macro hacspec_lib::signed_public_integer

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