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

subtype predicate

: 3 phrases, 1 sujets

3