 |
| |||
предикат подтипа (средство контрактного программирования в языке программирования Ada 2012 • Constrain not just ranges, but shapes, e.g., an identifier is a string of A–Z and 0–9, non-empty, first character a letter.  hackernoon.com Alex_Odeychuk) | |||
|
subtype predicate : 4 phrases in 1 subject |
| Programming | 4 |