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

type-wide contracts מתח
.תִכנו	контракты на типы данных (predicates or invariants; корпорации AdaCore Alex_Odeychuk)