On Tue, 20 Jun 2000, Judicael Courant wrote:

> idea indeed. May I suggest that a "type t = string" be added also ?
> 
> 
> 
> (This could be done for modules Char, Int32, Int64 and NativeInt also)

I argee. Also, add `type t = intxxx' in corresponding modules and
implement module Int with the same signature as of IntXX for usual
Caml int will be a good idea. This necessary for parametrisation functors
by the Int types. BigInt module also will be good idea.

Regards,
Anton Moscal