Cargo Features
Why3 has no features set by default.
[dependencies]
why3 = { version = "0.3.0", features = ["serialize"] }- serialize = serde
Features from optional dependencies
In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.