Anglais ⇄ Russe +

formal parameter of a callable entity contraintes
progr.	формальный параметр вызываемой программной единицы (программная единица – функция, процедура, метод, свойство класса или экземпляра класса, вход задачи Alex_Odeychuk)