val Ġs Ġ= Ġ"" Ċ val Ġi Ġ= Ġ 1 2 3 Ċ Ċ fun Ġf ( p 1 : ĠAny , Ġp 2 : ĠString , Ġp 3 : ĠInt , Ġp 4 : ĠChar ) Ġ{ ĊĠĠĠ ĠC (). foo (< caret > abc ) Ċ } Ċ Ċ class ĠC Ġ{ ĊĠĠĠ Ġfun Ġfoo ( p 1 : ĠString , Ġp 2 : ĠAny ) Ġ{ ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġfun Ġfoo ( p 1 : ĠInt ) Ġ{ ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġfun Ġfoo ( p 1 : ĠChar ) Ġ{ ĊĠĠĠ Ġ} Ċ } Ċ Ċ // ĠA BS ENT : Ġp 1 Ċ // ĠEX IST : Ġp 2 Ċ // ĠEX IST : Ġp 3 Ċ // ĠEX IST : Ġp 4 Ċ // ĠEX IST : Ġs Ċ // ĠEX IST : Ġi Ċ