Function lean_byte_array_fget

src/sarray/byte.rs:39–41

(a: b_lean_obj_arg, i: b_lean_obj_arg)

#[inline(always)]
pub unsafe fn lean_byte_array_fget(a: b_lean_obj_arg, i: b_lean_obj_arg) -> u8 {
    lean_byte_array_uget(a, lean_unbox(i))
}

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