hax-types is used at run time in 2 crates.

Depender (with downloads and own rev deps) hax-types version
140 hax-driver =0.1.0-rc.1
130 cargo-hax =0.1.0-rc.1