Function lean_get_external_data 

pub unsafe fn lean_get_external_data(o: *mut lean_object) -> *mut c_void

Read the external object’s data pointer (lean.h:1319–1321).

Safety

Same as lean_get_external_class. The interpretation of the pointer is up to the class’s finalize / foreach implementation.