Constant lean_sys::LEAN_OBJECT_SIZE_DELTA

source · 
pub const LEAN_OBJECT_SIZE_DELTA: usize = 8;