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

Depender (with downloads and own rev deps) hax-lib-macros-types version
1.6K 1 hax-lib-macros =0.1.0-pre.1
cargo-hax build =0.1.0-alpha.1
hax-driver =0.1.0-alpha.1