abstract class $VAR |
---|
**** | Subtypes of this are reference classes that may be viewed as variables with a particular value. The value of the reference object is an object with value semantics |
$BAG{_} | BAG{_} | $MAP{_,_} | MAP{_,_} |
as_value:$OB; |
---|
**** | Return the value of self |