Function lean_byte_array_fset

src/sarray/byte.rs:70–72

(a: lean_obj_arg, i: b_lean_obj_arg, v: u8)

#[inline(always)]
pub unsafe fn lean_byte_array_fset(a: lean_obj_arg, i: b_lean_obj_arg, v: u8) -> *mut lean_object {
    lean_byte_array_uset(a, lean_unbox(i), v)
}

extern "C" {
    pub fn lean_byte_array_mk(a: lean_obj_arg) -> lean_obj_res;