| << §9.1.(a) Value parameter declaration | ↑ Table of Contents ↑ | §9.1.(c) Role types as dependent types >> |
§9.1.(b) Value parameter application
Within the given class (MyClass) the parameter name (aName) can be used
like a final field of the given type (YourType). In contrast to regular final fields
the assignment to this name occurs even before the constructor is executed.
| << §9.1.(a) Value parameter declaration | ↑ Table of Contents ↑ | §9.1.(c) Role types as dependent types >> |
