Function lean_string_len 

pub unsafe fn lean_string_len(o: b_lean_obj_arg) -> usize

m_length field — UTF-8 character count (lean.h:1183).

Safety

Same as lean_string_size.