Function lean_sys::sarray::byte::lean_byte_array_fget

source · 
pub unsafe fn lean_byte_array_fget(a: b_lean_obj_arg, i: b_lean_obj_arg) -> u8