Function lean_sys::string::lean_string_utf8_set
source · [−]pub unsafe extern "C" fn lean_string_utf8_set(
s: lean_obj_arg,
i: b_lean_obj_arg,
c: u32
) -> lean_obj_res
pub unsafe extern "C" fn lean_string_utf8_set(
s: lean_obj_arg,
i: b_lean_obj_arg,
c: u32
) -> lean_obj_res