Macro hacspec_lib::prelude::abstract_int::abstract_signed_secret_integer

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