fun Ġfoo ( u Ġ: ĠUnit ) Ġ: ĠInt Ġ= Ġ 1 Ċ Ċ fun Ġtest () Ġ: ĠInt Ġ{ ĊĠĠĠ Ġ< error Ġdescr ="[ IN AP PL IC ABLE _ C AND ID ATE ] ĠIn applic able Ġcandidate ( s ): Ġ/ foo "> foo </ error >( 1 ) ĊĠĠĠ Ġval Ġa Ġ: Ġ() Ġ-> ĠUnit Ġ= Ġ{ ĊĠĠĠĠĠĠĠ Ġ< error Ġdescr ="[ IN AP PL IC ABLE _ C AND ID ATE ] ĠIn applic able Ġcandidate ( s ): Ġ/ foo "> foo </ error >( 1 ) ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġ 1 Ċ } Ċ