Lib.rs

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 default-features = false somewhere in the dependency tree.

semantics default

Affects first_order_logic::semantics…

syntax default

Affects first_order_logic::syntax…