class ĠDeclaration Ġ{ ĊĠĠĠ Ġfun Ġlambda Type ( p : ĠInt , Ġf : Ġ( Int ) Ġ-> ĠInt ) Ġ= Ġf ( p ) Ċ } Ċ Ċ fun Ġcall ( declaration : ĠDeclaration ) Ġ{ ĊĠĠĠ Ġval Ġa Ġ= Ġdeclaration .< caret > lambda Type ( 6 ) Ġ{ Ġit Ġ+ Ġ 7 Ġ} Ċ }