5 lines
74 B
ObjectPascal
5 lines
74 B
ObjectPascal
function Inv<T>(p: ()->T): T := p();
|
|
|
|
begin
|
|
Assert(Inv(()->1)=1)
|
|
end. |