// Ġ" Convert Ġ' Int . () Ġ-> ĠUnit ' Ġto Ġ'( Int ) Ġ-> ĠUnit '" Ġ" true " Ċ external Ġinterface ĠE Ġ{ ĊĠĠĠ Ġfun Ġb oo ( p : ĠString . () Ġ-> ĠUnit ): ĠIn < caret > t . () Ġ-> ĠUnit Ċ } Ċ Ċ // ĠERROR : ĠFunction Ġtypes Ġwith Ġreceiver Ġare Ġpro hibited Ġin Ġexternal Ġdeclarations