Constant lean_sys::LEAN_SMALL_ALLOCATOR

source · 
pub const LEAN_SMALL_ALLOCATOR: bool = true;