Function lean_sys::string::lean_string_utf8_next_fast_cold

source · 
pub unsafe extern "C" fn lean_string_utf8_next_fast_cold(
    i: usize,
    c: u8
) -> lean_obj_res