Function lean_sys::sarray::byte::lean_byte_array_uset

source · [−]
pub unsafe fn lean_byte_array_uset(
    a: lean_obj_arg,
    i: usize,
    v: u8
) -> *mut lean_object