From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5UCYHB0006334
	for <caml-list@sympa-roc.inria.fr>; Thu, 30 Jun 2011 14:34:17 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiUCAH1sDE5KfVI0imdsb2JhbAA8AQMSp0wIFAEBAQoJDQcSBiGIeAKiHYwggkuEUDmIaAIDBoYrBJIvhHaBHIYKPINY
X-IronPort-AV: E=Sophos;i="4.65,449,1304287200"; 
   d="scan'208";a="97725532"
Received: from mail-ww0-f52.google.com ([74.125.82.52])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Jun 2011 14:34:12 +0200
Received: by wwf10 with SMTP id 10so2642905wwf.9
        for <caml-list@inria.fr>; Thu, 30 Jun 2011 05:34:12 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=message-id:date:from:user-agent:mime-version:to:cc:subject
         :references:in-reply-to:content-type:content-transfer-encoding;
        bh=iuxtybBfO0dvFnGXsTDm0FvgIdFxfTWVkdaurwjytsQ=;
        b=tNGAmWj9UX1EuiGRC9u7hWPUSFbtwMKKlhnL+aOprQX5RIEqowDwdlnY1I2fqoZmFj
         vpL7HAXk7q+ORn+j4OKhSwnZXmvvXuSlClwGPaxK6avy51XNtom0dk5RjsaaND/Wy5Fv
         9/Wmu9FhgVmSDmxLgCnTYccIXnXHHU1+7/5+c=
Received: by 10.216.236.28 with SMTP id v28mr26906weq.12.1309437251932;
        Thu, 30 Jun 2011 05:34:11 -0700 (PDT)
Received: from [192.168.1.186] (106.165.7.93.rev.sfr.net [93.7.165.106])
        by mx.google.com with ESMTPS id ej7sm1605333wbb.2.2011.06.30.05.34.10
        (version=SSLv3 cipher=OTHER);
        Thu, 30 Jun 2011 05:34:11 -0700 (PDT)
Message-ID: <4E0C6D42.3010102@gmail.com>
Date: Thu, 30 Jun 2011 14:34:10 +0200
From: Andrew <newsgroups.fr@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:5.0) Gecko/20110624 Thunderbird/5.0
MIME-Version: 1.0
To: Wojciech Meyer <wojciech.meyer@googlemail.com>
CC: caml-list@inria.fr
References: <4E0C5E67.9010606@gmail.com> <4E0C60A1.7030103@gmail.com> <4E0C6463.2070708@gmail.com> <BANLkTimQtzqm329hG786EqjvdPTJXbw=Rw@mail.gmail.com>
In-Reply-To: <BANLkTimQtzqm329hG786EqjvdPTJXbw=Rw@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Priority queues

Wojciech Meyer wrote:

 > Yes it does:
 >
 > http://caml.inria.fr/pub/docs/manual-ocaml/libref/Set.Make.html
 >
 > Please see min_elt function.
 >

This is not an actual priority queue though: it doesn't allow for multiple copies of the same element to be added :/