Le 5 avr. 09 à 22:54, Richard Jones a écrit :

> Could you not just define a new module which is String, but with a
> restricted interface (removing all the functions that can modify
> strings)?

Yes. But I think that at a certain point the client will certainly  
want a regular string and to convert from this restricted  
representation to a string the module will have to String.copy.

Best,

Daniel

P.S. If you have an immutable string implementation you can use the  
functor Xmlm.Make to use them.