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]