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

Number of dependers hax-lib-macros-types version Downloads/month
4 0.2.0 2.4K
3 0.1.0 3.9K
Depender (with downloads and own rev deps) hax-lib-macros-types version
10K 1 hax-lib-macros =0.2.0
cargo-hax build =0.2.0
hax-driver =0.2.0