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.17 via Mailbox Transport; Tue, 17 Jan 2023 20:55:11 +0000 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.17; Tue, 17 Jan 2023 20:55:11 +0000 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.17 via Frontend Transport; Tue, 17 Jan 2023 20:55:11 +0000 Received: from romulus.metastack.com ([172.16.0.20]) by exchange.romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 30HKsSij011105 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 17 Jan 2023 20:54:28 GMT 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 30HKsL7v011089 for ; Tue, 17 Jan 2023 20:54:21 GMT Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Jan 2023 21:54:20 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9A19CE016E; Tue, 17 Jan 2023 21:54:20 +0100 (CET) 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 20D7AE016E for ; Tue, 17 Jan 2023 21:54:14 +0100 (CET) Received: from mail-lf1-f45.google.com ([209.85.167.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 17 Jan 2023 21:54:13 +0100 Received: by mail-lf1-f45.google.com with SMTP id b3so48850110lfv.2 for ; Tue, 17 Jan 2023 12:54:12 -0800 (PST) From: Kenneth Adam Miller To: caml users Subject: Re: [Caml-list] Serialize Owl Types? Thread-Topic: [Caml-list] Serialize Owl Types? Thread-Index: AQHZJ5WYS9fhytmlI02DPnA0Er4Zya6jHHoA Sender: "caml-list-request@inria.fr" X-MS-Exchange-MessageSentRepresentingType: 2 Date: Tue, 17 Jan 2023 20:54:00 +0000 Message-ID: References: Keywords: Sent to dra-news@metastack.com,MetaStack - Lists,MetaStack List-Help: List-Subscribe: List-Unsubscribe: In-Reply-To: Reply-To: Kenneth Adam Miller 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: 548b4c67-c930-4e82-7ab2-08daf8cd2030 X-MS-TNEF-Correlator: X-MS-Exchange-Organization-RecordReviewCfmType: 0 x-scanned-by: MIMEDefang 2.65 on 62.31.23.242 x-received: by 2002:a05:6512:36c5:b0:4cc:5821:b271 with SMTP id e5-20020a05651236c500b004cc5821b271mr342163lfs.295.1673988851582; Tue, 17 Jan 2023 12:54:11 -0800 (PST) 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.97,224,1669071600"; d="scan'208,217";a="45319733" 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: <4A862FA1A5F2B645B6C192128A9BC42C@metastack.local> Content-Transfer-Encoding: base64 MIME-Version: 1.0 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9Imx0 ciI+SSBldmVudHVhbGx5IHdlbnQgdGhlIHJvdXRlIG9mIGp1c3QgY29udmVydGluZyB0byBhbm90 aGVyIHR5cGUgdGhhdCB3YXMgc2VyaWFsaXphYmxlLjwvZGl2Pg0KPGJyPg0KPGRpdiBjbGFzcz0i Z21haWxfcXVvdGUiPg0KPGRpdiBkaXI9Imx0ciIgY2xhc3M9ImdtYWlsX2F0dHIiPk9uIEZyaSwg SmFuIDEzLCAyMDIzIGF0IDQ6MjQgUE0gS2VubmV0aCBBZGFtIE1pbGxlciAmbHQ7PGEgaHJlZj0i bWFpbHRvOmtlbm5ldGhhZGFtbWlsbGVyQGdtYWlsLmNvbSI+a2VubmV0aGFkYW1taWxsZXJAZ21h aWwuY29tPC9hPiZndDsgd3JvdGU6PGJyPg0KPC9kaXY+DQo8YmxvY2txdW90ZSBjbGFzcz0iZ21h aWxfcXVvdGUiIHN0eWxlPSJtYXJnaW46MHB4IDBweCAwcHggMC44ZXg7Ym9yZGVyLWxlZnQ6MXB4 IHNvbGlkIHJnYigyMDQsMjA0LDIwNCk7cGFkZGluZy1sZWZ0OjFleCI+DQo8ZGl2IGRpcj0ibHRy Ij5IZWxsbyw8YnI+DQo8YnI+DQo8YnI+DQpJIHdvdWxkIGxpa2UgdG8gc2VyaWFsaXplIHRoaXMg dHlwZTogKGZsb2F0LCBCaWdhcnJheS5mbG9hdDY0X2VsdCkgRGVuc2UuTmRhcnJheS5HZW5lcmlj LnQ8YnI+DQpTbyBmYXIsIEkgYW0gaGl0dGluZyBhbiBlcnJvciBiZWNhdXNlIHRoZSBkZXJpdmlu ZyBiaW5faW8gc2F5cyB0aGVyZSBhcmUgbWlzc2luZyBjYWxsYmFja3MgYmluX2lvLiBJIGNhbiB3 b3JrIGFyb3VuZCBpdCwgYnV0IEkgcHJlZmVyIG5vdCB0by4mbmJzcDs8YnI+DQo8YnI+DQpJJ20g bm90IHN1cmUgaG93IHRvIHNlcmlhbGl6ZSB0aGlzLCBoYXMgYW55b25lIGVsc2UgdHJpZWQgb3Ig ZG8gdGhleSBoYXZlIGFueSB0ZWNobmlxdWVzIHRoYXQgYWxsb3cgdG8gZW5hYmxlIGRlcml2aW5n IGJpbl9pbyBvbiBpdD88L2Rpdj4NCjwvYmxvY2txdW90ZT4NCjwvZGl2Pg0KPC9ib2R5Pg0KPC9o dG1sPg0K