Function lean_object_data_byte_size 

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

Byte size of o’s salient (initialized) storage (lean.h:513).