// ĠCHECK _ TYPES CRIPT _ DECL AR ATIONS Ċ // ĠSKIP _ MIN IFICATION Ċ // ĠSKIP _ NODE _ JS Ċ // ĠIN FER _ MAIN _ MODULE Ċ // ĠMODULE : ĠJS _ TESTS Ċ // ĠMODULE _ KIND : ĠU MD Ċ // ĠFILE : Ġum d . kt Ċ Ċ @ file : Js Export Ċ Ċ package Ġfoo Ċ Ċ val Ġprop Ġ= Ġ 1 0 Ċ Ċ class ĠC ( val Ġx : ĠInt ) Ġ{ ĊĠĠĠ Ġfun Ġdouble X () Ġ= Ġx Ġ* Ġ 2 Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ= Ġ" OK "