<< §9.3.(a) No overriding | ↑ Table of Contents ↑ |

§9 Value Dependent Classes > §9.3 Restrictions and limitations

#### §9.3.(b) Only first parameter

Currently only the first parameter of a class may be a value parameter. This restriction may be removed in the future.

<< §9.3.(a) No overriding | ↑ Table of Contents ↑ |

§9 Value Dependent Classes > §9.3 Restrictions and limitations

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