Здравствуйте, AngeL B., Вы писали:

AB>а такая?
AB>def isItPure( act : void->int ) { act(); 1; }
AB>?

думаю надо типа того:

PureDelegate[...] : Delegaete[...], IPure
...

def isItPure( act : void->int ) 
requires act is pure //IPure
{ 
  act(); 
  1
}