On Fri, 17 Nov 2006, Denis Bueno wrote:
> On 11/17/06, Martin Jambon <martin_jambon@...> wrote:
> > Maybe I am missing something, but you already give a comparison function
> > when you create the map (PMap.create). This is where you would pass your
> > custom comparison function rather than Pervasives.compare. You can't
> > change it later.
> I have never used that function. I always insert elements into
> existing maps, starting with a PMap.empty.
Well, start with (PMap.create your_compare) then.
Martin Jambon, PhD