אנגלית ⇄ רוסית +

well-typed values מתח
.תִכנו	правильно типизированные значения (типов ssn)
well-typed value
.תִכנו	правильно типизированное значение (ssn)