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]