Is their a version of "compare" that is based on physical equality?  If 
not, how can I define one?  I tried:

let compareq a b = if a == b then 0 else if a > b then 1 else (-1)

But unfortunately, (>) is a structural comparison.

I need to make a Map where the keys are distinguished by the physical 
instance.

Thanks!

-Tom