<< §9.1.(b) Value parameter application | ↑ Table of Contents ↑ |
§9.1.(c) Role types as dependent types
Any role type can be interpreted as a value dependent type, however, in the declaration of a role type the value parameter remains implicit: it is identical to the enclosing team instance.
<< §9.1.(b) Value parameter application | ↑ Table of Contents ↑ |