package Ġmain Ċ Ċ open Ġclass ĠSimple Invariant < E 1 > Ġ{ Ġ} Ċ Ċ open Ġclass ĠNested Invariant < E 2 > Ġ: ĠSimple Invariant < Simple Invariant < E 2 >>() Ġ{ Ġ} Ċ Ċ class ĠNested Co variant < E 3 > Ġ: ĠSimple Invariant < Simple Invariant < out ĠE 3 >>() Ġ{ Ġ} Ċ Ċ class ĠNested Contr av ari ant < E 4 > Ġ: ĠSimple Invariant < Simple Invariant < in ĠE 4 >>() Ġ{ Ġ} Ċ Ċ class ĠDouble Inherit < E 5 > Ġ: ĠNested Invariant < E 5 >() Ġ{ Ġ} Ċ Ċ fun Ġuser ( ĊĠ Ġp 1 : ĠSimple Invariant < String >, ĊĠ Ġp 2 : ĠSimple Invariant < out ĠString >, ĊĠ Ġp 3 : ĠSimple Invariant < in ĠString >, ĊĠ Ġp 4 : ĠSimple Invariant <* >, ĊĠ Ġp 5 : ĠNested Invariant < String >, ĊĠ Ġp 6 : ĠNested Invariant < out ĠString >, ĊĠ Ġp 7 : ĠNested Invariant < in ĠString >, ĊĠ Ġp 8 : ĠNested Invariant <* >, ĊĠ Ġp 9 : ĠNested Co variant < String >, ĊĠ Ġp 1 0 : ĠNested Co variant < out ĠString >, ĊĠ Ġp 1 1 : ĠNested Co variant < in ĠString >, ĊĠ Ġp 1 2 : ĠNested Co variant <* >, ĊĠ Ġp 1 3 : ĠNested Contr av ari ant < String >, ĊĠ Ġp 1 4 : ĠNested Contr av ari ant < out ĠString >, ĊĠ Ġp 1 5 : ĠNested Contr av ari ant < in ĠString >, ĊĠ Ġp 1 6 : ĠNested Contr av ari ant <* >, ĊĠ Ġp 1 7 : ĠDouble Inherit < String >, ĊĠ Ġp 1 8 : ĠDouble Inherit < in ĠString >, ĊĠ Ġp 1 9 : ĠDouble Inherit < out ĠString >, ĊĠ Ġp 2 0 : ĠDouble Inherit < *> Ċ ) Ġ{ Ċ Ċ }