Lib.rs

Cargo Features

[dependencies]
lean-sys = { version = "0.0.7", default-features = false, features = ["small_allocator", "extern", "static"] }

default = small_allocator, static

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

small_allocator default

extern

static default

lean-sys has 4 features without comments.