Lib.rs

Cargo Features

hax-types has no features set by default.

[dependencies]
hax-types = { version = "0.1.0-alpha.1", features = ["rustc"] }

rustc

Enables rustc of hax-frontend-exporter

hax-frontend-exporter:

Enables the conversion bridges from rustc types (and AST) to the ones defined in this crate. Enabling rustc adds a dependency to librustc_driver.

hax-types has 1 feature without comment.