 |
| |||
предикат подтипа (средство контрактного программирования в языке программирования 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 צירופים, 1 נושאים |
| תִכנוּת | 4 |