Changes http://wiki.axiom-developer.org/348EqualityInAny/diff -- I don't understand your question. The domain ANY already supports coercion to OUTFORM. We are using it in the examples on this page.
You wrote:: In fact, I doubt, that ANY should export equality at all. Is this functionality used anywhere? Yes, for example in the domain Set(Any). Are you familiar with the functions defined in the ANY1 package? See also the page: DuckTyping -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
