Lib.rs

Cargo Features

[dependencies]
hax-lib = { version = "0.2.0", 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

Affects int::ToInt…