Commit 2025-12-17 20:53 05e64eff
View on Github →feat: grind and aesop annotations for ZMod (#32776)
This PR adds some grind and aesop annotations to ZMod.
This PR is not meant to annotate exhaustively. (That requires guard feature of grind_pattern, which is only available in nightly).
This work is produced as part of Italean 2025 project "improving automation".