Re: [Ocaml-lib-devel] Proposal : BinTree

[Nicolas C. <war...@fr...>]

> Tree node here takes 3 (for Tree+tuple, and two refs) allocations where
> it can take 2 (or 1?) with:
>
> | Tree of ('a, 'b) tree_rec
>
> and type ('a, 'b) tree_rec =
>   {
>     a : 'a;
>     b : 'b;
>     mutable left : ('a, 'b) tree;
>     mutable right : ('a, 'b) tree;
>   }
>
> and this is more readable IMHO.

True, thanks.
That piece of code is pretty old, I just added the enum features without
thinking about the internal representation.
I'll update it this way when I have some time.

Nicolas Cannasse