<< §4.5.(d) Typing rules | ↑ Table of Contents ↑ | §4.5.(f) Base calls >>

§4 Callin Binding > §4.5 Lifting and lowering

#### §4.5.(e) Role arrays

For arrays of roles as parameters §2.3.(d) applies accordingly. For arrays as return value §2.2.(e) applies.

<< §4.5.(d) Typing rules | ↑ Table of Contents ↑ | §4.5.(f) Base calls >>

§4 Callin Binding > §4.5 Lifting and lowering

OT/J version 1.3.1 — last modified: 2013-05-28