fun Ġtest () Ġ{ ĊĠĠĠ Ġval Ġx : Ġ/* T 2 @ */ X </ * T 1 @ */ Int > Ġ= ĠX </ * T 0 @ */ Int >( 1 0 /* LIT */) /* X < T 0 @ Int > */ ĊĠĠĠ Ġval Ġx : Ġ/* T 5 @ */ X </ * T 4 @ */ Int > Ġ= ĠX </ * T 3 @ */ Int >( 1 0 /* LIT */, Ġ 2 0 /* LIT */) /* X < T 3 @ Int > */ Ċ } Ċ Ċ class ĠX < T >( x : Ġ/* T 6 @ */ T ) Ġ{ ĊĠĠĠ Ġconstructor ( x : Ġ/* T 7 @ */ T , Ġy : Ġ/* T 8 @ */ Int ): Ġthis ( x /* T 7 @ T */) Ċ } Ċ Ċ // LOWER Ġ<: ĠT 0 Ġdue Ġto Ġ' PARAMETER ' Ċ // T 1 Ġ:= ĠT 0 Ġdue Ġto Ġ' INITIAL IZER ' Ċ // LOWER Ġ<: ĠT 3 Ġdue Ġto Ġ' PARAMETER ' Ċ // LOWER Ġ<: ĠT 8 Ġdue Ġto Ġ' PARAMETER ' Ċ // T 4 Ġ:= ĠT 3 Ġdue Ġto Ġ' INITIAL IZER ' Ċ // T 7 Ġ<: ĠT 6 Ġdue Ġto Ġ' PARAMETER ' Ċ