Function lean_sys::array::low_level::lean_array_get_core

source · 
pub unsafe fn lean_array_get_core(o: b_lean_obj_arg, i: usize) -> b_lean_obj_res