Function lean_sys::sarray::byte::lean_byte_array_fset

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