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 A56787FC53 for ; Tue, 29 Sep 2015 14:43:44 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.17,608,1437429600"; d="scan'208";a="148955132" Received: from hp-sebastien.rsr.lip6.fr (HELO pl-59055.rocqadm.inria.fr) ([132.227.76.32]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Sep 2015 14:43:44 +0200 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.86) (envelope-from ) id 1ZguG0-0003Uo-N9 for caml-list@inria.fr; Tue, 29 Sep 2015 14:43:44 +0200 Date: Tue, 29 Sep 2015 14:43:44 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20150929124344.GA13383@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit Subject: [Caml-list] polymorphic sets? Dear all, Is it possible to implement a polymorphic sets module over the Set module provided in OCaml's standard library? By polymorphic set, I mean a set whose elements could be of type 'a (like for lists) and the equality funciton would be the one provided by OCaml. So one would have for instance val add : 'a -> 'a t -> 'a t etc. Is that possible somehow? Thanks! Sébastien.