From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id D596DBF6F for ; Fri, 1 Sep 2006 00:48:00 +0200 (CEST) Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.237]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k7VMlxOe022515 for ; Fri, 1 Sep 2006 00:48:00 +0200 Received: by wx-out-0506.google.com with SMTP id s6so821964wxc for ; Thu, 31 Aug 2006 15:47:59 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=V61HkPe0LE9jXEv0tBlz2mzz3z2H6q8yk0tdUXXFMwxGwbCJMP57lHSe4Iq5RNaV5dsUcuVEc36feVrkLM1chMP47G8iF6wivo0OMHqZzWE1aaobTnALKJvaTk9IWirPTpw1qADGg0bC1z1Rmk/pK2qCvx4FVsdLBh2U2loxdrg= Received: by 10.70.18.11 with SMTP id 11mr1428844wxr; Thu, 31 Aug 2006 15:47:59 -0700 (PDT) Received: by 10.70.84.13 with HTTP; Thu, 31 Aug 2006 15:47:59 -0700 (PDT) Message-ID: Date: Fri, 1 Sep 2006 10:47:59 +1200 From: "Jonathan Roewen" To: "Caml Mailing List" Subject: [Caml-list] Maps & min/max key... MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 44F7671F.001 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at nez-perce with ID 44F7671F.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; elt:01 elt:01 caml-list:01 module:03 module:03 problem:05 max:05 max:05 maps:06 expose:07 i'm:08 basically:09 handled:09 ...:90 initially:11 Hi, I'm surprised the Map module doesn't expose something similar to min_elt/max_elt in the Set module, as they're basically the same to me. Could they be added? I have a problem that initially looked best handled as a set, but turns out a map would be better, but I need to get and also remove the minimum key =/ Jonathan