enum Ġclass ĠE Ġ{ ĊĠĠĠ Ġopen Ġfun Ġ< caret > foo ( n : ĠInt ): ĠInt Ġ= Ġn ĊĊĠĠĠ ĠO ĊĠĠĠ ĠA Ġ{ ĊĠĠĠĠĠĠĠ Ġoverride Ġfun Ġfoo ( n : ĠInt ): ĠInt Ġ= Ġn Ġ+ Ġ 1 ĊĊĠĠĠ Ġ} ĊĠĠĠ ĠB Ġ{ ĊĠĠĠĠĠĠĠ Ġoverride Ġfun Ġfoo ( n : ĠInt ): ĠInt Ġ= Ġn Ġ+ Ġ 2 ĊĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠREF : Ġ( in ĠE . A ). foo ( Int ) Ċ // ĠREF : Ġ( in ĠE . B ). foo ( Int )