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 |
$MAP{_,_} | MAP{_,_} | $BAG{_} | BAG{_} |
as_value:$OB; |
---|
**** | Return the value of self |