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; Sat, 27 May 2023 19:29:14 +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; Sat, 27 May 2023 19:29:13 +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; Sat, 27 May 2023 19:29:13 +0100 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 34RISSkq005903 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 27 May 2023 19:28:28 +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 34RISMjq005891 for ; Sat, 27 May 2023 19:28:22 +0100 Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 May 2023 20:28:21 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 3662FE269C; Sat, 27 May 2023 20:28:21 +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 910B4E0082 for ; Sat, 27 May 2023 20:28:15 +0200 (CEST) Received: from mail-40130.protonmail.ch ([185.70.40.130]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 27 May 2023 20:28:14 +0200 From: A Rose Unsaid To: "caml-list@inria.fr" Subject: [Caml-list] 3 questions relating to BER MetaOcaml Thread-Topic: [Caml-list] 3 questions relating to BER MetaOcaml Thread-Index: AQHZkMkjt4D07V7jC0+dd+/0X8xo2g== Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Sat, 27 May 2023 19:28:00 +0100 Message-ID: Keywords: Sent to dra-news@metastack.com,Marked bulk,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: Reply-To: A Rose Unsaid 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: ad886ad7-9403-4c72-deaf-08db5ee045af X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 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="6.00,197,1681164000"; d="scan'208,217";a="110007114" x-ironport-anti-spam-filtered: true 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 Zm9udC1mYW1pbHk6IEFyaWFsLCBzYW5zLXNlcmlmOyBmb250LXNpemU6IDE0cHg7Ij48c3Bhbj5E ZWFyIE9DYW1sIGxpc3QsPC9zcGFuPg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+PHNwYW4+SSdt IGdpdmluZyBhIHRyeSB0byBCRVIgTWV0YU9DYW1sIGluIHRoZSBzcGlyaXQgb2YgdGhlICZxdW90 O3JlY29uY2lsaW5nJnF1b3Q7IGJvb2sgYnkgT2xlZywgdGFyZ2V0aW5nIG51bWNvbXAvRFNQIGNv ZGUgZ2VuZXJhdGlvbi4gU29tZSBxdWVzdGlvbnMgcmVsYXRpbmcgdG8gdGhpczo8L3NwYW4+PC9k aXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj48c3Bhbj4xLiBJcyB0aGVyZSBhIG1haWxpbmct bGlzdCBvciBhbnkgb3RoZXIgZm9ydW0gZGVkaWNhdGVkIHRvIE1ldGFPY2FtbCwgb3IgYWxzbyBt ZXRhcHJvZ3JhbW1pbmcgaW4gb3RoZXIgbGFuZ3VhZ2VzIHRoYW4gT0NhbWw/PC9zcGFuPjwvZGl2 Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+PHNwYW4+Mi4gSXMgYW55Ym9keSB1c2luZyBCRVIg TWV0YU9jYW1sIGhhdmluZyBkb25lIHNvbWUgd29yayB0byBvZmZzaG9yZSB0byBpbnRlbCdzIElT UEMgb3IgT3BlbkdMIEdMU0wgYm90aCBoYXZpbmcgdGhlIHNlbWFudGljIChhbmQga2V5d29yZHMp IG9mICZxdW90O3VuaWZvcm0mcXVvdDsgdnMgJnF1b3Q7dmFyeWluZyZxdW90OyB2YXJpYWJsZXMg Zm9yIG9wdGltaXppbmcgY29kZSBhY2Nyb3NzIGNvZGUgdGhyZWFkcyAoY29yZXMgLyBTSU1EICZx dW90O2xhbmUmcXVvdDspPyBJZiBzbywNCiBhcmUgdGhleSB3aWxsaW5nIHRvIHNoYXJlIHRoZWly IHdvcms/PC9zcGFuPjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+PHNwYW4+KEJUVyB0 aGUgY29tYmluYXRpb24gb2YgTWV0YU9jYW1sIGFuZCBJU1BDIHNlZW1zIGRhdW50aW5nIGZvciBu dW1jb21wIGF0IGxlYXN0IGF0IGZpcnN0LCBvbiB0aGUgc3VyZmFjZSwgbm90IGhhdmluZyBpbnZl c3RlZCBhIGxvdCBvZiB0aW1lIHdpdGggYm90aCAtIHlldCA6KS48L3NwYW4+PC9kaXY+DQo8ZGl2 Pjxicj4NCjwvZGl2Pg0KPGRpdj48c3Bhbj4zLiBUaGVyZSBpcyBubyB0cnguY21vIGluIHRoZSBj dXJyZW50IG9wYW0gNC4xNC4xJiM0MztCRVIgc3dpdGNoLCBpcyBpdCBpbnRlbnRpb25hbCwgYSBj dXJyZW50IEJFUiBsaW1pdGF0aW9uIG9yIGFuIG92ZXJsb29rPyBJIHJlbWVtYmVyIG9mIGEgdGlt ZSwgZ2xhbmNpbmcgb3ZlciBNZXRhT2NhbWwsIHdoZW4gaXQgd2FzIHRoZSBvdGhlciB3YXkgYXJv dW5kOiBieXRlY29kZSBzdXBwb3J0IGJ1dCBubyBuYXRpdmVzLiBJIHdvdWxkIGxpa2UNCiBmYXN0 ZW4gdGhlIGRldi4gY3ljbGUgdGltZSwgc29mdGVuIHRoZSBsZWFybmluZyBjdXJ2ZSB1c2luZyB1 dG9wIChhbmQgdXRvcC5lbCksIGJ1dCBpdCBmYWlscyBsb2FkaW5nIFRyeCBjdXJyZW50bHkuPC9z cGFuPjwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+PHNwYW4+VGhhbmtzIGZvciBPbGVn IGFuZCBvdGhlcnMsIHRoaXMgbG9va3MgbGlrZSBhIHZlcnkgYXBwZWFsaW5nIHBpZWNlIG9mIHNv ZnR3YXJlLjwvc3Bhbj48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8c3Bhbj5USUEsIFBoaWxp cHBlLjwvc3Bhbj48YnI+DQo8L2Rpdj4NCjwvYm9keT4NCjwvaHRtbD4NCg==