You can create a module Types, where you define all the Pervasives
types, like this:

type char = char
type int = int
and so on...

Then, you can use Types.char instead of char, no ?

- Fabrice

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr