Macro hacspec_lib::prelude::abstract_int

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