(o: b_lean_obj_arg)
| 41 | |
| 42 | #[inline(always)] |
| 43 | pub unsafe fn lean_string_len(o: b_lean_obj_arg) -> usize { |
| 44 | *raw_field!(lean_to_string(o), lean_string_object, m_length) |
| 45 | } |
| 46 | |
| 47 | #[inline(always)] |
| 48 | pub unsafe fn lean_string_data_byte_size(o: *mut lean_object) -> usize { |
no outgoing calls
no test coverage detected