| << §3.3.(d) Typing rules | ↑ Table of Contents ↑ |
§3.3.(e) Role arrays
For arrays of roles as parameters §2.2.(e) applies accordingly. For arrays as a return value §2.3.(d) applies.
| << §3.3.(d) Typing rules | ↑ Table of Contents ↑ |
| << §3.3.(d) Typing rules | ↑ Table of Contents ↑ |

For arrays of roles as parameters §2.2.(e) applies accordingly. For arrays as a return value §2.3.(d) applies.
| << §3.3.(d) Typing rules | ↑ Table of Contents ↑ |