loop variant

ЯП вариант цикла целочисленное выражение, которое должно быть неотрицательным при первом выполнении тела цикла и уменьшаться до нуля с каждой итерацией так, чтобы гарантировать момент окончания цикла