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

subtype predicate

3