From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id BC27980161 for ; Tue, 20 Jun 2017 07:47:05 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.39,364,1493676000"; d="scan'208";a="228953222" Received: from unknown (HELO tromboline.e-kiwi.fr) ([37.25.72.20]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Jun 2017 07:46:47 +0200 From: Bruno Guillaume Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Date: Tue, 20 Jun 2017 07:46:47 +0200 Message-Id: Cc: Bruno Guillaume To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Validation-by: bruno.guillaume@inria.fr Subject: [Caml-list] Specification of the choose function on sets Dear Ocamlers, In a context not directly related to OCaml, I want to define the semantics = of a =E2=80=9Cchoose=E2=80=9D function on a set.=20 In the doc of Set.Make, for the =E2=80=9Cchoose" function, it is said:=20 =E2=80=9Cbut equal elements will be chosen for equal sets.=E2=80=9D What is the rationale behind this specification? Do you have examples where= this specific requirement is needed? Thanks, Bruno=