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