<< §4.5.(b) Parameter translation | ↑ Table of Contents ↑ | §4.5.(d) Typing rules >> |
§4.5.(c) Result translation
Returning a role object from a callin method implicitly lowers this object.
<< §4.5.(b) Parameter translation | ↑ Table of Contents ↑ | §4.5.(d) Typing rules >> |