lean_sys::string

Function lean_string_push

Source 
pub unsafe extern "C" fn lean_string_push(
    s: lean_obj_arg,
    c: u32,
) -> lean_obj_res