<< §2.3.(b) Places of lifting | ↑ Table of Contents ↑ | §2.3.(d) Lifting of arrays >> |
§2.3.(c) Typing
A lifting translation statically expects a specific role class.
This expected role class must have a playedBy
clause
(either directly, or inherited (explicitly or implicitly)
from a super role), to which the given base type is conform.
<< §2.3.(b) Places of lifting | ↑ Table of Contents ↑ | §2.3.(d) Lifting of arrays >> |