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

type invariant checking rules מתח
.תִכנו	правила проверки инварианта типа (Alex_Odeychuk)