Cargo Features
slotted-egraphs has no features set by default.
[dependencies]
slotted-egraphs = { version = "0.0.25", features = ["explanations", "checks", "trace"] }- explanations
- checks
- trace = tracing
-
Enables max_level_trace and release_max_level_trace of tracing
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.