From: Denis B. <db...@gm...> - 2006-11-17 19:06:57
|
On 11/17/06, Martin Jambon <mar...@em...> 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. -Denis |