This helper crate contains the procedural macros for the sat-rs framework. You can find more information on the homepage.