{VDM-SL} Предложите решение с фиксированной точкой для функционального

Question

Предложите решение с фиксированной точкой для функционала T1(F, x, y) == if x = 0 then 1 else y * F(x-1,y) Я не отвечал на вопрос, который использовал две переменные, такие как x & Итак, когда дело доходит до решения этой проблемы, я не знаю, когда я закончу и прав ли я вообще.