On 10/9/07, Vincent Hanquez <tab@snarc.org> wrote:
> i want a UTF library to be able to do something like:
>
> type ustring = unicode_type * string
> of_string: string -> ustring (* raise if not unicode compliant *)
> to_string: ustring -> string
> append: ustring -> ustring -> ustring
> ...etc

Have you checked out Camomile [1]?  It handles such things quite nicely.

[1] http://camomile.sourceforge.net/