Changes http://wiki.axiom-developer.org/348EqualityInAny/diff --
??changed: -The idea behind 'Object' is to wrap up an object together with its type. Thus, the operation 'object' corresponds to 'coerce$ANY1', and 'avail' is roughly 'dom' and 'obj' followed by 'retract$ANY1(dom)', except that the latter won't work... I'd say that 'Object' is rarely needed in Aldor. +The idea behind 'Object' is to wrap up an object together with its type. Thus, the operation 'object' corresponds to 'coerce\$ANY1', and 'avail' is roughly 'dom' and 'obj' followed by 'retract\$ANY1(dom)', except that the latter won't work... I'd say that 'Object' is rarely needed in Aldor. -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
