(o: *mut lean_object)
| 20 | |
| 21 | #[inline(always)] |
| 22 | pub unsafe fn lean_get_external_data(o: *mut lean_object) -> *mut c_void { |
| 23 | *raw_field!(lean_to_external(o), lean_external_object, m_data) |
| 24 | } |
| 25 | |
| 26 | #[inline(always)] |
| 27 | pub unsafe fn lean_set_external_data(o: *mut lean_object, data: *mut c_void) -> *mut lean_object { |
nothing calls this directly
no outgoing calls
no test coverage detected