411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Definite
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
S'Definite yields True if the actual subtype corresponding to S is definite; otherwise, it yields False.
The value of this attribute is of the predefined type Boolean.
Example
S’Definite return Boolean