fun Ġdo Something < T >( a : ĠT ) Ġ{} Ċ Ċ fun Ġfoo () Ġ{ ĊĠĠĠ Ġfun Ġtest (): ĠBoolean Ġ{ Ġreturn Ġfalse Ġ} ĊĠĠĠ Ġval Ġa Ġ= Ġtrue ĊĠĠĠ Ġif Ġ( test () Ġ< caret >& & Ġa ) Ġ{ ĊĠĠĠĠĠĠĠ Ġdo Something (" test ") ĊĠĠĠ Ġ} Ċ } Ċ