ANY NONE
class interface PROCEDURE[B,O->TUPLE]
   --
   -- Where B is the base type (i.e. a type of compatible with the target of the delayed call) and O represents open
   -- arguments (i.e. arguments which are delayed).
   --

feature(s) from ROUTINE
   call (o: O)
      -- Call feature with all its operands, using o for the open operands.



end of PROCEDURE[B,O->TUPLE]