Anglais ⇄ Russe +

unit-of-measure inference contraintes
progr.	выведение единиц измерения (говоря о значениях численных типов с единицами измерения Alex_Odeychuk)