// ĠFIR _ IDENT ICAL Ċ // Ġ! DIAG NO ST ICS : Ġ- UNUSED _ PARAMETER Ġ- UNUSED _ AN ONY MO US _ PARAMETER Ċ Ċ fun Ġf ( p : Ġ( Int ) Ġ-> Ġ( String ) Ġ-> ĠUnit ) Ġ{} Ċ Ċ fun Ġg ( cond : ĠBoolean ) Ġ{ ĊĠĠĠ Ġf ( if Ġ( cond ) Ġ{ Ġi Ġ-> Ġ{ Ġ} Ġ} Ġelse Ġ{ Ġi Ġ-> Ġ{ Ġ} Ġ}) Ċ }