lean_array_get_borrowed

lean_sys::array::high_level

Function lean_array_get_borrowed 

Source 
pub unsafe fn lean_array_get_borrowed(
    def_val: lean_obj_arg,
    a: b_lean_obj_arg,
    i: b_lean_obj_arg,
) -> lean_obj_res