// ĠPARAM _ DESCRIPTOR : Ġvalue - parameter Ġa : Ġkotlin . Int Ġdefined Ġin Ġfoo Ċ // ĠPARAM _ TYPES : Ġkotlin . Int , Ġkotlin . Number , Ġkotlin . Comparable < kotlin . Int >, Ġjava . io . Serializable , Ġkotlin . Any Ċ fun Ġfoo ( a : ĠInt ): ĠString Ġ{ ĊĠĠĠ Ġval Ġx Ġ= Ġ"- $ a " ĊĠĠĠ Ġval Ġy Ġ= Ġ" x ${ a } y " ĊĠĠĠ Ġval Ġz Ġ= Ġ" x $ ay " ĊĠĠĠ Ġreturn Ġ" abc < selection >${ a }</ selection > def " Ċ }