Lib.rs

Cargo Features

[dependencies]
hax-lib = { version = "0.1.0-alpha.1", default-features = false, features = ["macros"] }

default = macros

The macros feature is set by default whenever hax-lib is added without default-features = false somewhere in the dependency tree.

macros default

Enables hax-lib-macros

hax-lib has 2 features without comments.