Cargo Features
[dependencies]
first_order_logic = { version = "0.1.0", default-features = false, features = ["semantics", "syntax"] }
- default = semantics, syntax
-
These default features are set whenever
first_order_logic
is added without
somewhere in the dependency tree.default-features = false - semantics default
-
Affects
first_order_logic::semantics
… - syntax default
-
Affects
first_order_logic::syntax
…