hacspec_lib::prelude

Macro abstract_signed_public_integer

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