// ĠTODO : Ġmut ed Ġfor ĠPython Ġbecause Ġit Ġwas Ġmut ed Ġfor ĠJS . ĠOnce ĠPython Ġdoesn 't Ġp ig gy - back Ġon ĠJS , Ġinvestigate Ġif Ġit Ġcan Ġbe Ġre - enabled Ġfor ĠPython . Ċ // ĠIG NORE _ BACKEND : ĠPYTHON Ċ // ĠMODULE : Ġlib Ċ // ĠFILE : Ġlib . kt Ċ Ċ // ĠK T - 4 0 0 8 3 Ċ Ċ open Ġclass ĠX Ġ{ ĊĠĠĠ Ġopen Ġfun Ġred ( x : ĠInt , Ġy : Ġ(() Ġ-> ĠInt ) Ġ= Ġ{ Ġ 3 1 Ġ}): ĠInt Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġx + y () ĊĠĠĠ Ġ} Ċ } Ċ Ċ class ĠY : ĠX () Ċ Ċ // ĠMODULE : Ġmain ( lib ) Ċ // ĠFILE : Ġmain . kt Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġif Ġ( Y (). red ( 1 7 ) Ġ{ Ġ 2 3 Ġ} Ġ!= Ġ 4 0 ) Ġreturn Ġ" FAIL Ġ 1 " ĊĠĠĠ Ġif Ġ( Y (). red ( 2 9 ) Ġ!= Ġ 6 0 ) Ġreturn Ġ" FAIL Ġ 2 " ĊĠĠĠ Ġreturn Ġ" OK " Ċ } ĊĊ