% $RCSfile: Revocable.oz,v $ declare proc {Revocable Obj ?R ?RObj} C={NewCell Obj} in proc {R} C := proc{$ M} raise invokedError end end end proc {RObj M} {@C M} end end