PureDelegate[...] : Delegaete[...], IPure ... def isItPure( act : void->int ) requires act is pure //IPure { act(); 1 }