| |
| | LRM Chapter 3-03 |
 | | A subtype is a type together with a constraint; a value is said to belong to a subtype of a given type if it belongs to the type and satisfies the constraint; the given type is called the base type of the subtype. |
 | | The base type of a type mark is, by definition, the base type of the type or subtype denoted by the type mark. |
 | | References: base type, compatibility of discriminant constraints, compatibility of fixed point constraints, compatibility of floating point constraints, compatibility of index constraints, compatibility of range constraints, constraint_error exception, declaration, discriminant, discriminant constraint, elaboration, evaluation, expression, floating point constraint, fixed point constraint, index constraint, range constraint, reserved word, subtype, type, type name, unconstrained subtype. |
| www.cs.kuleuven.ac.be /~dirk/ada-belgium/docs/rm83/lrm-03-03.html (1652 words) |
|