Function lean_sys::sarray::byte::lean_byte_array_get

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