Function lean_string_utf8_prev 

pub unsafe extern "C" fn lean_string_utf8_prev(
    s: b_lean_obj_arg,
    i: b_lean_obj_arg,
) -> lean_obj_res