Lib.rs

Cargo Features

[dependencies]
ezno-checker = { version = "0.0.15", default-features = false, features = ["ezno-parser", "serde-serialize"] }

default = ezno-parser

The ezno-parser feature is set by default whenever ezno-checker is added without default-features = false somewhere in the dependency tree.

ezno-parser default

Enables ezno-parser

Affects ezno-checker::synthesis…

serde-serialize

Enables serde