Version française
Home     About     Download     Resources     Contact us    
Browse thread
equality of Big_ints
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Ian Zimmerman <itz@b...>
Subject: equality of Big_ints

Is Big_int.eq_big_int the same as polymorphic equality on Big_int.big_int?
In other words, can the same big_int have distinct representations?

I looked at Valerie Menissier-Morain's paper but it seems to refer to
the "old" CAML, so I am afraid to draw any conclusions.

-- 
"It's not true or not."  A reality show producer (real quote)