+
Point of view
All features
class PROCEDURE [O_ -> TUPLE]
Summary
Where O_ represents open arguments (i.e. arguments which are delayed).
Direct parents
Inherit list: ROUTINE
Overview
Features
{ANY}
  • call alias "()"  (o: O_)
    Call feature with all its operands, using o for the open operands.
  • alias "()" call  (o: O_)
    Call feature with all its operands, using o for the open operands.
{ANY}
  • is_equal (other: PROCEDURE [O_ -> TUPLE]): BOOLEAN
    Is other attached to an object considered equal to current object?
call alias "()" (o: O_)
{ANY}
Call feature with all its operands, using o for the open operands.
alias "()" call (o: O_)
{ANY}
Call feature with all its operands, using o for the open operands.
is_equal (other: PROCEDURE [O_ -> TUPLE]): BOOLEAN
{ANY}
Is other attached to an object considered equal to current object?