fun Ġfoo ( p : Ġ() Ġ-> ĠUnit ){} Ċ Ċ fun Ġbar () Ġ{ ĊĠĠĠ Ġfoo (:: xf < caret >) Ċ } Ċ Ċ fun Ġxf 1 (){} Ċ fun Ġxf 1 ( s : ĠString ){} Ċ fun Ġxf 2 ( i : ĠInt ){} Ċ Ċ // ĠEX IST : Ġ{ Ġlookup String :" xf 1 ", Ġitem Text :" xf 1 ", Ġtail Text : Ġ" () Ġ(< root >) ", Ġtype Text : Ġ" Unit " Ġ} Ċ // ĠNOT H ING _ ELSE Ċ