class ĠFoo Ċ class ĠBar Ċ Ċ fun Ġa ( var arg Ġa Ġ: ĠAny ) Ġ= Ġa Ċ Ċ fun Ġtest () Ġ{ Ċ a ( 1 Ċ , Ġ{} Ċ , Ġ{ Ġ-> Ġ 1 } Ċ , Ġ{ 1 } Ċ , Ġ{ x } Ċ , Ġ{ -> Ġ 1 } Ċ , Ġ{ x Ġ-> Ġ 1 } Ċ , Ġ{ x , Ġy Ġ-> Ġ 1 } Ċ , Ġ{( x , Ġy ) Ġ-> Ġ 1 } Ċ , Ġ{( x , Ġy ) Ġ: ĠInt Ġ-> Ġ 1 } Ċ , Ġ{( x ) Ġ-> Ġ 1 } Ċ , Ġ{( x ) Ġ: ĠInt Ġ-> Ġ 1 } Ċ , Ġ{( x )} Ċ , Ġ{( x ).( y )} Ċ , Ġ{ x .( y )} Ċ , Ġ{ Int .( x ) Ġ-> Ġ 1 } Ċ , Ġ{ A . B .( x ) Ġ-> Ġ 1 } Ċ , Ġ{ A . B .( x , Ġy ) Ġ-> Ġ 1 } Ċ , Ġ{ Int .( x ) Ġ: ĠInt Ġ-> Ġ 1 } Ċ , Ġ{ Int .( x , Ġy ) Ġ-> Ġ 1 } Ċ , Ġ{ Int .( x , Ġy ) Ġ: ĠInt Ġ-> Ġ 1 } Ċ , Ġ{( Int ).( x , Ġy ) Ġ-> Ġ 1 } Ċ , Ġ{( Int ).( x , Ġy ) Ġ: ĠInt Ġ-> Ġ 1 } Ċ , Ġ{( Int ).( x , Ġy ) Ġ: Ġ( Int ) Ġ-> ĠInt Ġ-> Ġ{ 1 }} Ċ , Ġ{ Int ? Ġ. ( x , Ġy ) Ġ-> Ġ 1 } Ċ , Ġ{ This .( x , Ġy ) Ġ-> Ġ 1 } Ċ , Ġ{ Pair ( A , ĠB ).( x , Ġy ) Ġ-> Ġ 1 } Ċ , Ġ{ Pair ( a , Ġb ).( y )} Ċ , Ġ{ Pair ( a , Ġb )} Ċ , Ġ{ Foo < Bar >. x } Ċ , Ġ{ Foo < Bar >. ( x )} Ċ , Ġ{ Foo < Bar >. ( x ) Ġ-> Ġx } Ċ , Ġ{ Foo . Bar . B az .( x ) Ġ-> Ġx } Ċ , Ġ{ Foo < Bar >. ( x ) Ġ: ĠInt Ġ-> Ġx } Ċ , Ġ{ Foo . Bar . B az .( x ) Ġ: ĠInt Ġ-> Ġx } Ċ ) Ċ } Ċ