fun Ġfoo ( list : ĠList < String >) Ġ{ ĊĠĠĠ Ġbar ( list . map Ġ{ Ġit .< caret > Ġ}) Ċ } Ċ Ċ fun Ġbar ( p : ĠCollection < Int >) Ġ{ Ċ } Ċ Ċ fun Ġbar ( p : ĠCollection < String >, Ġb : ĠBoolean ) Ġ{ Ċ } Ċ Ċ // ĠEX IST : Ġlength Ċ // ĠEX IST : Ġsubstring Ċ // ĠA BS ENT : ĠisEmpty Ċ