Function lean_byte_array_uget

src/sarray/byte.rs:18–21

(a: b_lean_obj_arg, i: usize)

#[inline(always)]
pub unsafe fn lean_byte_array_uget(a: b_lean_obj_arg, i: usize) -> u8 {
    debug_assert!(i < lean_sarray_size(a));
    *lean_sarray_cptr(a).add(i)
}

#[inline]
pub unsafe fn lean_byte_array_get(a: b_lean_obj_arg, i: b_lean_obj_arg) -> u8 {