Lib.rs

Cargo Features

[dependencies]
cop = { version = "0.2.0", default-features = false, features = ["order", "colosseum", "serde", "tptp"] }

default = colosseum, order, serde, tptp

These default features are set whenever cop is added without default-features = false somewhere in the dependency tree.

order default = num-bigint, num-traits

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.

colosseum default

num-bigint order

num-traits order

serde default

tptp default

Affects cop::tptp…