pub unsafe fn lean_array_get_core(
o: b_lean_obj_arg,
i: usize,
) -> *mut lean_objectExpand description
Borrow element i of an object array (lean.h:838–841).
§Safety
o must be a borrowed Lean array object and i < lean_array_size(o).
pub unsafe fn lean_array_get_core(
o: b_lean_obj_arg,
i: usize,
) -> *mut lean_objectBorrow element i of an object array (lean.h:838–841).
o must be a borrowed Lean array object and i < lean_array_size(o).