pub unsafe fn lean_array_set( a: lean_obj_arg, i: b_lean_obj_arg, v: lean_obj_arg, ) -> *mut lean_object