Lib.rs

› Prusto › Features

Cargo Features

Prusto has no features set by default.

[dependencies]
prusto = { version = "0.5.1", features = ["presto"] }
presto

Prusto has 1 feature without comment.