Commit 2025-12-02 12:55 e3c47d8a
View on Github →feat(grw): support grw (transparency := default) (#32315)
This PR modifies the grw implementation so that it supports erw-like behaviour.
I haven't added a separate egrw tactic (because I think the name gets a bit ridiculous), instead it should be used as grw (transparency := default).