fun Ġ< T 1 , ĠT 2 > Ġf ( p : ĠInt , Ġt : ĠT 1 , Ġpair : ĠPair < T 1 , ĠT 2 > ){} Ċ Ċ fun Ġtest () Ġ{ ĊĠĠĠ Ġf ( 1 , Ġ"", Ġ< caret >) Ċ } Ċ Ċ // TODO : Ċ /* Ċ Text : Ġ( p : ĠInt , Ġt : ĠString , Ġ< highlight > pair : ĠPair < String , ĠT 2 ></ highlight >), ĠDisabled : Ġfalse , ĠStri ke out : Ġfalse , ĠGreen : Ġtrue Ċ */ Ċ Ċ // currently : Ċ /* Ċ Text : Ġ( p : ĠInt , Ġt : ĠString , Ġ< highlight > pair : ĠPair < T 1 , ĠT 2 ></ highlight >), ĠDisabled : Ġfalse , ĠStri ke out : Ġfalse , ĠGreen : Ġtrue Ċ */ Ċ