Function lean_string_size 

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

m_size field — byte length including the trailing \0 (lean.h:1182).

Safety

o must be a borrowed Lean string object.