Invisible wrote:
> I'm failing to see how equivalence and definition are different. 

I'm thinking you have the choice of
   x == y
   x.isEqual(y)
and
   (let x := y in (....)) or {const int x = y}
for equality, equivalence, and definition?

Two abstract structures can be equivalent without being equal. Definition is 
an arbitrary assignment of a meaning to a formal name.

-- 
   Darren New, San Diego CA, USA (PST)
   I ordered stamps from Zazzle that read "Place Stamp Here".

Post a reply to this message