From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23 via Mailbox Transport; Fri, 12 May 2023 10:49:51 +0100 Received: from Hermes.metastack.local (172.16.0.8) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.23; Fri, 12 May 2023 10:49:51 +0100 Received: from exchange.romulus.metastack.com (172.16.0.21) by Hermes.metastack.local (172.16.0.8) with Microsoft SMTP Server (version=TLS1_0, cipher=TLS_RSA_WITH_AES_256_CBC_SHA) id 15.1.2507.23 via Frontend Transport; Fri, 12 May 2023 10:49:51 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34C9n58f013730 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 12 May 2023 10:49:05 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34C9mwAR013712 for ; Fri, 12 May 2023 10:48:58 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 May 2023 11:48:58 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 28F99E0D51; Fri, 12 May 2023 11:48:58 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id F1302E0D4A for ; Fri, 12 May 2023 11:48:49 +0200 (CEST) Received: from zcs-store3.inria.fr ([128.93.142.30]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 May 2023 11:48:49 +0200 From: Frederic Fort To: "caml-list@inria.fr" Subject: [Caml-list] Specifying the closure of an open polymorphic variant inside a module signature Thread-Topic: Specifying the closure of an open polymorphic variant inside a module signature Thread-Index: k8CDROdB443MFkNoPHOANZA4CiLhag== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Fri, 12 May 2023 10:48:49 +0100 Message-ID: <120259246.5939759.1683884929801.JavaMail.zimbra@inria.fr> Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: Frederic Fort Content-Language: en-GB X-MS-Exchange-Organization-AuthAs: Anonymous X-MS-Exchange-Organization-AuthSource: Hermes.metastack.local X-MS-Has-Attach: X-Auto-Response-Suppress: All X-MS-Exchange-Organization-Network-Message-Id: 8798cc36-3f28-43eb-c3f2-08db52ce3b2a X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-originating-ip: [88.122.206.156] received-spf: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sympa.inria.fr) identity=helo; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@sympa.inria.fr"; x-conformance=spf_only x-ironport-av: E=Sophos;i="5.99,269,1677538800"; d="scan'208,217";a="107647922" x-loop: caml-list@inria.fr x-no-archive: yes Content-Type: text/html; charset="utf-8" Content-ID: Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBzdHlsZT0i Zm9udC1mYW1pbHk6IGFyaWFsLCBoZWx2ZXRpY2EsIHNhbnMtc2VyaWY7IGZvbnQtc2l6ZTogMTJw dDsgY29sb3I6ICMwMDAwMDAiPg0KPGRpdj5IZWxsbyw8YnIgZGF0YS1tY2UtYm9ndXM9IjEiPg0K PC9kaXY+DQo8ZGl2PjxiciBkYXRhLW1jZS1ib2d1cz0iMSI+DQo8L2Rpdj4NCjxkaXY+SSB3YW50 IHRvIGRlZmluZSBhIGZ1bmN0b3IgdGhhdCBkZWZpbmVzIGEgdHlwZSB0IGFuZCBmdW5jdGlvbnMg b24gdGhhdCB0eXBlIHN1Y2ggdGhhdCB0IGlzIGEgc3VidHlwZSBvZiBhIHBvbHltb3JwaGljIHZh cmlhbnQgdHlwZS48YnIgZGF0YS1tY2UtYm9ndXM9IjEiPg0KPC9kaXY+DQo8ZGl2PjxiciBkYXRh LW1jZS1ib2d1cz0iMSI+DQo8L2Rpdj4NCjxkaXY+Rm9yIGluc3RhbmNlLCBpZiB3ZSBoYXZlIGEg dHlwZSA8YnIgZGF0YS1tY2UtYm9ndXM9IjEiPg0KPC9kaXY+DQo8ZGl2PjxiciBkYXRhLW1jZS1i b2d1cz0iMSI+DQo8L2Rpdj4NCjxwcmU+dHlwZSB0X2Z1bGwgPSBbIGBBIG9mIGludCB8IGBCIG9m IHN0cmluZyB8IGBDIG9mIGludCppbnQgfCBgRCBdPGJyIGRhdGEtbWNlLWJvZ3VzPSIxIj48L3By ZT4NCjxkaXY+PGJyIGRhdGEtbWNlLWJvZ3VzPSIxIj4NCjwvZGl2Pg0KPGRpdj5JIHdhbnQgdG8g YmUgYWJsZSB0byBkZWZpbmUgYSBmdW5jdG9yIHNpbWlsYXIgdG8gdGhpczxiciBkYXRhLW1jZS1i b2d1cz0iMSI+DQo8L2Rpdj4NCjxkaXY+PGJyIGRhdGEtbWNlLWJvZ3VzPSIxIj4NCjwvZGl2Pg0K PHByZT5tb2R1bGUgdHlwZSBUX1NVQlRZUEUgPTxicj5zaWc8YnI+PGJyPiAgPCEtLVN0YXJ0RnJh Z21lbnQtLT50eXBlIHRfZnVsbCA9IFsgYEEgb2YgaW50IHwgYEIgb2Ygc3RyaW5nIHwgYEMgb2Yg aW50KmludCB8IGBEIF08YnI+PGJyPiAgdHlwZSB0ID0gWyZsdDsgdF9mdWxsIF0gKCogTm90IGFj Y2VwdGVkIGJ5IE9DYW1sICopPCEtLUVuZEZyYWdtZW50LS0+PGJyPmVuZDxicj48YnI+bW9kdWxl IE9wc09uVFN1YnR5cGUgKFQ6IFRfU1VCVFlQRSkgPTxicj5zdHJ1Y3Q8YnI+dHlwZSB0ID0gVC50 PGJyPjxicj5sZXQgZiA6IFsmZ3Q7IHQgXSAtJmd0OyBpbnQgPTxicj5mdW5jdGlvbjxicj58IGBB IGkgLSZndDsgaTxicj58IGBCIHMgLSZndDsgU3RyaW5nLmxlbmd0aCBzPGJyPnwgYEMgKGwscikg LSZndDsgbCAmIzQzOyByPGJyPnwgYEQgLSZndDsgMDxicj5lbmQ8L3ByZT4NCjxkaXY+SG93ZXZl ciwgSSBkb27igJl0IGtub3cgaG93IHRvIGRlZmluZSB0aGUgbW9kdWxlIHNpZ25hdHVyZSBUX1NV QlRZUEUuPGJyIGRhdGEtbWNlLWJvZ3VzPSIxIj4NCjwvZGl2Pg0KPGRpdj5JcyB0aGlzIHBvc3Np YmxlIGluIE9DYW1sID88YnIgZGF0YS1tY2UtYm9ndXM9IjEiPg0KPC9kaXY+DQo8ZGl2PjxiciBk YXRhLW1jZS1ib2d1cz0iMSI+DQo8L2Rpdj4NCjxkaXY+VGhhbmtzIGluIGFkdmFuY2UsPGJyIGRh dGEtbWNlLWJvZ3VzPSIxIj4NCjwvZGl2Pg0KPGRpdj5GcsOpZMOpcmljPGJyIGRhdGEtbWNlLWJv Z3VzPSIxIj4NCjwvZGl2Pg0KPC9kaXY+DQo8L2JvZHk+DQo8L2h0bWw+DQo=