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

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

feature(s) from FUNCTION
   item (o: O): R
      -- Result of calling feature with all its operands, using o for the open operands.



end of FUNCTION[B,O->TUPLE,R]