Function lean_sys::array::high_level::lean_array_uget

source · 
pub unsafe fn lean_array_uget(a: b_lean_obj_arg, i: usize) -> lean_obj_res