DictionaryForumContacts

   English Russian +
Google | Forvo | +

class-wide type invariant

stresses
progr. инвариант надклассового типа (корпорации AdaCore Alex_Odeychuk)