Englisch ⇄ Russisch +

type-wide contracts Betonungen
Progr.	контракты на типы данных (predicates or invariants; корпорации AdaCore Alex_Odeychuk)