hacspec attributes

crates.io Docs Build & Test Status

This crate holds implements hacspec attributes used in the hacspec library.

It should never be necessary to use this outside of the hacspec repository.