Lib.rs

› petr-typecheck › Features

Cargo Features

petr-typecheck has no features set by default.

[dependencies]
petr-typecheck = { version = "0.1.0", features = ["debug"] }
default

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

Enables petr-utils

debug

Enables debug of petr-utils

petr-typecheck has 2 features without comments.