Function lean_alloc_object

Source
pub unsafe extern "C" fn lean_alloc_object(
    sz: usize,
) -> *mut lean_object