Function lean_string_data_byte_size

src/string.rs:48–50

(o: *mut lean_object)

#[inline(always)]
pub unsafe fn lean_string_data_byte_size(o: *mut lean_object) -> usize {
    core::mem::size_of::<lean_string_object>() + lean_string_size(o)
}

#[inline(always)]
pub unsafe fn lean_string_length(o: b_lean_obj_arg) -> lean_obj_res {