英语 ⇄ 俄语 +

type-wide contracts 强调
编程	контракты на типы данных (predicates or invariants; корпорации AdaCore Alex_Odeychuk)