hax-lib-macros is used at run time in 4 crates (of which 4 optionally). It is a direct run-time dependency in 1 crate.

Depender (with downloads and own rev deps) hax-lib-macros version
2.1K 3 hax-lib optional =0.1.0-pre.1