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