Function lean_object_byte_size 

pub unsafe extern "C" fn lean_object_byte_size(
    o: *mut lean_object,
) -> usize

Total byte size of o’s allocation (lean.h:506).