Macro hacspec_lib::prelude::abstract_int::abstract_public

macro_rules! abstract_public {
    ($name:ident) => { ... };
}