built-in data type
The attribute-default-declaration is the abstract type of declared defaults for unspecified
attribute values. Its concrete instances can be obtained with the following four constants:
attribute-declared-conref
attribute-declared-current
attribute-declared-implied
attribute-declared-required
and with two operators which take a string default value argument:
attribute-declared-defaulted to
attribute-declared-fixed to