предикат подтипа (средство контрактного программирования в языке программирования Ada 2012 Alex_Odeychuk)

subtype predicate

: 3 צירופים, 1 נושאים

3