data Ġclass ĠInt String Pair ( val Ġx : ĠInt , Ġval Ġs : ĠString ) Ċ Ċ fun Ġf ( x : ĠInt String Pair ) Ġ{ ĊĠĠĠ Ġval Ġ( fir < caret > st , Ġsecond ) Ġ= Ġx Ċ } Ċ Ċ // ĠTYPE : Ġfirst Ġ-> Ġ< html > Int </ html > Ċ