rate-macros (cargo): Internal macros for rate
Keywords: proof-checker|rust|sat-solver|verification