hax-adt-into is used at run time in 8 crates. It is a direct run-time dependency in 3 crates.
Depender (with downloads and own rev deps) | hax-adt-into version | |||
---|---|---|---|---|
150 | 5 | hax-frontend-exporter | =0.1.0 | |
110 | 7 | hax-frontend-exporter-options | =0.1.0 | |
110 | 2 | hax-types | =0.1.0 |