polyhorn-macros is used at run time in 6 crates. It is a direct run-time dependency in 3 crates.

Depender (with downloads and own rev deps) polyhorn-macros version
3 polyhorn ^0.4.0
1 polyhorn-android ^0.4.0
1 polyhorn-ios ^0.4.0