fun ĠB < (@ A ĠC ) >. receiver Argument () Ġ{} Ċ Ċ fun Ġparameter ( a : Ġ(@ A ĠC )) Ġ{} Ċ Ċ fun Ġparameter Argument ( a : ĠB < (@ A ĠC ) >) Ġ{} Ċ Ċ fun ĠreturnValue (): Ġ(@ A ĠC ) Ċ Ċ fun Ġ< T > ĠreturnType Parameter Value (): Ġ(@ A ĠT ) Ċ Ċ fun Ġreturn Argument (): ĠB < (@ A ĠC )> Ċ Ċ val Ġlambda Type : Ġ(@ A () Ġ(() Ġ-> ĠC )) Ċ Ċ val Ġlambda Parameter : Ġ(( @ A ĠC )) Ġ-> ĠC Ċ val Ġlambda Parameter NP : Ġ(@ A ĠC ) Ġ-> ĠC Ċ Ċ val Ġlambda ReturnValue : Ġ() Ġ-> Ġ(@ A ĠC ) Ċ Ċ val Ġlambda Receiver : Ġ(@ A ĠC ). () Ġ-> ĠC Ċ Ċ val Ġlambda Parameter NP : Ġ(@ A ĠC ) Ġ-> ĠC