<< §1.2.3.(b) Qualified role types | ↑ Table of Contents ↑ | §1.2.3.(d) Levels of encapsulation >> |
§1.2.3.(c) Mixing qualified and unqualified types
An externalized role type is never compatible to an unqualified role type,
except for the substitutions in §1.2.2.(f), where
an explicit anchor can be matched with the implicit anchor this
.
<< §1.2.3.(b) Qualified role types | ↑ Table of Contents ↑ | §1.2.3.(d) Levels of encapsulation >> |