package Ġnet . ad ri ant od t . lean vm . types Ċ Ċ public Ġdata Ġclass ĠL Array ( val Ġvalue : ĠMutable List < L Any > Ġ= Ġmutable ListOf ()) Ġ: ĠL Any () Ġ{ ĊĠĠĠ Ġoverride Ġval Ġtype : ĠString Ġget () Ġ= Ġ" array " ĊĊĠĠĠ Ġoverride Ġfun Ġtruth (): ĠBoolean Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġvalue . isNotEmpty () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun ĠtoString (): ĠString Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġvalue . toString () ĊĠĠĠ Ġ} Ċ } Ċ