This crate holds implements hacspec attributes used in the hacspec library.
It should never be necessary to use this outside of the hacspec repository.
