fun Ġfoo ( p : Ġsuspend Ġ( String , ĠInt ) Ġ-> ĠUnit ){} Ċ fun Ġfoo ( p : Ġsuspend Ġ( Char , Ġxx : ĠAny ) Ġ-> ĠUnit ){} Ċ Ċ fun Ġbar () Ġ{ ĊĠĠĠ Ġfoo (< caret >) Ċ } Ċ Ċ // ĠA BS ENT : Ġ"{ Ġs , Ġi Ġ-> Ġ... Ġ}" Ċ // ĠA BS ENT : Ġ"{ Ġc , Ġxx Ġ-> Ġ... Ġ}" Ċ // ĠEX IST : Ġ"{ ĠString , ĠInt Ġ-> Ġ... Ġ}" Ċ // ĠEX IST : Ġ"{ ĠChar , Ġxx Ġ-> Ġ... Ġ}" Ċ