Skip to main content

lean_utf8_n_strlen

lean_rs_sys::string

Function lean_utf8_n_strlen 

Source 
pub unsafe extern "C" fn lean_utf8_n_strlen(
    s: *const c_char,
    n: usize,
) -> usize