// ĠTARGET _ BACKEND : ĠJS _ IR Ċ // ĠCHECK _ TYPES CRIPT _ DECL AR ATIONS Ċ // ĠRUN _ PLAIN _ BOX _ FUNCTION Ċ Ċ // ĠFILE : Ġfile 1 . kt Ċ package Ġfoo Ċ Ċ @ Js Export Ċ val Ġexported Val Ġ= Ġ 1 0 Ċ Ċ @ Js Export Ċ fun Ġexported Fun () Ġ= Ġ 1 0 Ċ Ċ @ Js Export Ċ class ĠExport ed Class Ġ{ ĊĠĠĠ Ġval Ġvalue Ġ= Ġ 1 0 Ċ } Ċ Ċ @ Js Export Ċ external Ġinterface ĠExport ed Internal Interface Ċ Ċ val Ġ_ val Ġ= Ġ 1 0 Ċ Ċ fun Ġ_ fun () Ġ= Ġ 1 0 Ċ Ċ class ĠClass Ċ Ċ external Ġinterface ĠExternal Interface Ċ Ċ // ĠFILE : Ġfile 2 . kt Ċ Ċ @ file : Js Export Ċ Ċ package Ġfoo Ċ Ċ val Ġfile Level Exported Val Ġ= Ġ 1 0 Ċ fun Ġfile Level Exported Fun () Ġ= Ġ 1 0 Ċ class ĠFile Level Exported Class Ġ{ ĊĠĠĠ Ġval Ġvalue Ġ= Ġ 1 0 Ċ } Ċ external Ġinterface ĠFile Level Exported External Interface ĊĊĊ