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