lean_sys::string

Function lean_string_of_usize

Source 
pub unsafe extern "C" fn lean_string_of_usize(
    s: usize,
) -> lean_obj_res