Constant lean_sys::LEAN_MAX_SMALL_OBJECT_SIZE

source · 
pub const LEAN_MAX_SMALL_OBJECT_SIZE: u32 = 4096;