(o: *mut lean_object)
| 19 | |
| 20 | #[inline(always)] |
| 21 | pub unsafe fn lean_string_byte_size(o: *mut lean_object) -> usize { |
| 22 | core::mem::size_of::<lean_string_object>() + lean_string_capacity(o) |
| 23 | } |
| 24 | |
| 25 | /** instance : inhabited char := ⟨'A'⟩ */ |
| 26 | #[inline(always)] |
nothing calls this directly
no test coverage detected