fun Ġbox (): ĠString Ġ{ Ċ external Ġfun ĠOK (): ĠUnit Ġ{ Ċ Ċ } Ċ (( return Ġ( when Ġ{ Ċ (( :: OK )) !! Ġ!= Ġnull Ġ-> Ġ(:: OK ) Ċ else Ġ-> Ġ(:: OK ) Ċ })) Ġ?: Ġ( return Ġ( when Ġ{ Ċ (( :: OK )) !! Ġ!= Ġnull Ġ-> Ġ(:: OK ) Ċ else Ġ-> Ġ(:: OK ) Ċ })) ). name Ċ }