(o: *const lean_object)
| 25 | |
| 26 | #[inline(always)] |
| 27 | pub unsafe fn lean_sarray_capacity(o: *const lean_object) -> usize { |
| 28 | *raw_field!(lean_to_sarray(o as *mut _), lean_sarray_object, m_capacity) |
| 29 | } |
| 30 | |
| 31 | #[inline] |
| 32 | pub unsafe fn lean_sarray_byte_size(o: *const lean_object) -> usize { |
no outgoing calls
no test coverage detected