From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 93C58E0121 for ; Mon, 29 Aug 2022 17:43:32 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=aaronngray.lists@gmail.com; spf=Pass smtp.mailfrom=aaronngray.lists@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f173.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of aaronngray.lists@gmail.com) identity=pra; client-ip=209.85.222.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="aaronngray.lists@gmail.com"; x-sender="aaronngray.lists@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of aaronngray.lists@gmail.com designates 209.85.222.173 as permitted sender) identity=mailfrom; client-ip=209.85.222.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="aaronngray.lists@gmail.com"; x-sender="aaronngray.lists@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:35.190.247.0/24 ip4:64.233.160.0/19 ip4:66.102.0.0/20 ip4:66.249.80.0/20 ip4:72.14.192.0/18 ip4:74.125.0.0/16 ip4:108.177.8.0/21 ip4:173.194.0.0/16 ip4:209.85.128.0/17 ip4:216.58.192.0/19 ip4:216.239.32.0/19 ~all" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-qk1-f173.google.com) identity=helo; client-ip=209.85.222.173; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="aaronngray.lists@gmail.com"; x-sender="postmaster@mail-qk1-f173.google.com"; x-conformance=sidf_compatible IronPort-SDR: vj0KRB72d1f83hrfuAyY/X9WCiT8DnJg/qu7NoKpjW2he2xhBqjn6caO4bQGjyR/rVLXxb5yQn qfRdhlOAUlrxlzofzdY9hasuIdA8rbckJRtu01AgsLW11o6quhnJPetlH7OMlMA/H6aqshGGpI 6MH6s+SgIHyKM3veTM1S0FstEXZ9HyWLixVdIt2m8A83pwrfIOX6DQgMM8X6rLDhaTCzLNabP8 hwHgfYUGs11hSWKd8nLYqdTlNdMxSqVihI92kx2e/+w9CjS4sl2lbej/4+r4WXGmWd8U9f7F8E ZX1xmWufDFio5f6U0M5Oxlkw X-IPAS-Result: =?us-ascii?q?A0D4CgD23Qxjf63eVdFaHQEBPAEFBQECAQkBFYEqASaBO?= =?us-ascii?q?gIBZYFXLwQLRYROjmiCfYpigQaGGootgXsLAQMBDRIBLwQBAYlsAh0HAQRHA?= =?us-ascii?q?QIEAQEBAQMCAwEBAQEBAQMBAQUBAQECAQECBAQBEwEBGAkZBw4OBWABYQMBR?= =?us-ascii?q?IFPgU8lCwMxDYI1KQGDfBEdARseAxIQDwImAiQBEQEFARYMNYJbgm0BAzIDm?= =?us-ascii?q?kqCH4EEQosygRUFF4EBggkGhE8KGSgNZwOBWQIHEn8qAwEBhnOBOYIghVGCK?= =?us-ascii?q?YFLi0yCZQSXBAEDBwMEBgUPAwMCIQECAUQeAgkDIxEDCxAIFBgDIAYGAQEGA?= =?us-ascii?q?QECDAIBBAEFAwEEBQMHAgEFBgIJAwMJAwEBBQEDBAMDAwIHAwECDAQIAwMCA?= =?us-ascii?q?wQCAgICAQMCBwUIBAIHAgICAQICBgIBAwkBAgMFAgIJCwEEAgIDAQMBAQIIB?= =?us-ascii?q?AkEAgMEAgEBAwIBAgIBBQIOBQEBAQECBQECAwEGBwIIAhwKAQMDAwICBQICA?= =?us-ascii?q?QIDAgIMAQEEAgECAQIGAQMBAgIDAQMBAgIDAgYJAgQBBQMDAgIDAQEFDwUCB?= =?us-ascii?q?AIBAgYFAgEBAQQBAwQEBgICAQMDAg4CBAEEAQIBASMDBAIDAQMXAQIBAgMDA?= =?us-ascii?q?wQGBwUCAQITAQIBAQEFAQIBAQMEBAcJAwICBAMDBQEBAgMCAQEBBwwCAgISA?= =?us-ascii?q?hMDAQYBDgUUAwIEAgIBAgIKAwECAgEDAgkCAQIBBSADAQEPJAEBAgICAgMEB?= =?us-ascii?q?wIBBAYDDQICAQEBBQYNAwIDCA0CBwMCAQMFAgIEAQIECgkBAgIBAgQFBwIBC?= =?us-ascii?q?AYFDQUJCwEBAgEDBwQDEQIFAwUFAwMCAQoFAgMBAgEBAwQBAwQGAQECAwICA?= =?us-ascii?q?QYCAgEBAwMEAwECBgICBwIDAgEEAgMDAQEBBAIBAgICAwMIAwIIBwUBBgECA?= =?us-ascii?q?QQDAgIBAgcBBAEIAgEDAwUDBAEKDwMFAwEDAwIUCgUBAwgGCQIEBQIFAwIEA?= =?us-ascii?q?gMDAgIIAwIEAwILAwIGBAIHBA8HAgMCAgUCAgICAgUEAwECAgICAgIFAgQCA?= =?us-ascii?q?QUBAgIBAgICBAECAgcEAgMBAwQOBAMCAgIFAQICAQYCBwMBAgEEAwEBBAIEA?= =?us-ascii?q?QIFAgQBAwECBgIEAwoCAwICAgYIAwMMCQIDBQIEAQECBwQCAgsBBgIHAgIBA?= =?us-ascii?q?gMQAQMCAQQFBQMDAwkCAgMCBAICCgEBAQECAgEFBQIEBw8CAgIEAgICAQMCA?= =?us-ascii?q?gEBAgIFBAkSAQECAwYEBgUDAggYAQYCAgEBAgICAwMCBgIBAggCBAEEBQIBA?= =?us-ascii?q?gICAgQBAwYCAwEBAgECAgMDAgEEAgQDAwECAQICAgMCAgIDAgIBEAIGBgECA?= =?us-ascii?q?gICAgMCAgECBgECAQIEAgcCBAMCAQICBQICAgMBAQYCBAsBAwIHBgEDAgcFA?= =?us-ascii?q?gMBBAMEAwMLBQwIAQUBAwEhAwICCAIHAgEFAwUBDwMCAgMCAgEECgIDBQIEA?= =?us-ascii?q?gECAQQJBwIEAQIJAwMGAgcFGAECAgcEDAoCAgIFBgIEAQMDAQICAQIDBAIDA?= =?us-ascii?q?gQFAQUCAQIFBAICAQECBQIMAQIBBwYCBwMCAgIDAQQCAQIBAwMCAwEBAQMGB?= =?us-ascii?q?gUJBAIDAwYCAgYCAgMCEgMGBwIGAwIEAQ0OBQQHCAECAQECBwIEAlLdGweDV?= =?us-ascii?q?YFFnmEyg2QBEYxQmC8dlmqnUBAjEoFWAg6BWx8UGiOBAYI2TgECAQEBDQECA?= =?us-ascii?q?QEDAQIBAgkBAQKSD4pfQzE7AgYLAQEDCYpcAQE?= IronPort-PHdr: A9a23:lfMKkBYb1AILa+ewLECm6hr/LTGA2oqcDmcuAnoPtbtCf+yZ8oj4O wSHvLMx1gSPB9WCoKMdw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PdbglSmjawYq5+I BqyoAnMq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ 7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4 rx1QxH0ligIKz858HnWisNuiqJbvAmhrAF7z4LNfY2ZKOZycqbbcNgHR2ROQ9xRWjRODY28Y YUBDPcPM/hEoITmu1sCsQGzCRWwCO/zyDJFgGL9060g0+QmFAHLxBAtEMgUsHTTqtX+KaYcU fqvw6jI0D7OaOlZ1i3n6IjPdBAhp/6MXahqfsvR00UvEwLFjk6MqYz+JD6V2eENvHKa7+pkT +6gl2knqwRorzWp28wjhZXHiJgPxVDY6SV23pw1JdugRUB1fNKpDZVeui+UOYZyXM4uX3xlt To0x7AEpJK3YisHxYgoyRPbZPGKcJWF7xb+WeiRJTp1hmxpdry9ihu27EWtzPD3WMqs0FtSs CZJjt3BumoO2hHT8MSLVOVx8lm71TqS1Q3e5OdJKl0um6XBMZ4u2Lswm4ITsUvdGi/2n137j KqMeUUl/uik8v3nYrb7qpOFOY94lwPzP6o0lsywBuQ4NQcOX2yF9uimyLLj+kj5TK1Ljv0wj KbZrIjXKdoHqqO9GQNY0YYu5wyhAzu4ztgUh2QLIVBLdR6fiojmIVDOIPT2DfelhFSslS9my OrcMb37BZXNKH7DkLj7fbln609Q0g4zzdFE55JIEbEMO/3zWkrru9zZCh81KRC7w+HiCNll0 IMRQnqAArWFP6PKrV+I+uUvLvGRaIMNojbyN+Al5+LyjX8+gVISYbOm3Z4TaHyhGvRmIl6ZY Wb3j9caEWYKuxI+Q/bwhF2DVz5TfXeyULgm6jE1EoL1RbvEE6eGiZmllAKyH5lXYG8OLlGXD T+8fIyBX7IIaTmOCs5niD0NE7a7HdwPzxar4Sbz0b1hZsXO8zxQ4Zvqzt9z4eLJnAB08T1vE 9+13GSETmUylWQNEWxllJtjqFBwnw/QmZNzhOZVQJkKv6shumYSMJfdy7c/ENXuQkfaec/PT l+6Q9KgCDV3T9QrwtZIbVwuU866gEXl2CynS6QQi6TNHIY9p6vVxX/3IclnwmeA0Kg6k0IOT c5GNGngjal6pEDIH4Ccq0yCjO6xcLgEmivE9WON122L6UhRSgl2V6rfVGFZYkrNsc/R6UbLT rvoArMiYUNa0cDXDKxMZ5XyiEleAvfuPNOLe2Wqh2K5HgqF3JuJZYvuPnwehWDTURdf1Q8U+ nmCOE41ASLJT3v2KjtoGBqvZkrt9bI7s3anVgovyBnMaUR91r2z8xpThPqGSvpV0KhW8CEm4 y55Glqwxbe0Q5KJuhZhcaNAYNg8/EYP1GTXsBZ4N4ChKKYqj0AXcgB+tUfjnxttDYAInc8vp XIshA18TMDQmFpIbTSe25/qM6yRLmjp4AuHZKvf21WY29GTu+8O5Pk+t1T/rVSxDENxlhcvm 9JR0naa+tDLFF9ICcO3AhtxrUIg4eiFOXpYhcucz3BnPKiqvyWX3tsoALBg0RO8Z5JEN7vCE gbuEsocDszoKeowmlHvYAhXWYIavKMyIc6icOOLnaCxO+M11juvl2NB5o9n21PK8ytnVvXg0 JMMwvXe1QyCHWSZ7h/pooXslIZIaCtHVGO20y/iAoFLb7w0eYcQFXyGLMi+x9E4jJnoES09l hbrFxYN38mnfgCXZlr20FhL1EgZlnegnDOx0z1+lzxBQrO35CXV2KyicRMGPjUOX2x+lRL3J pDyidkGXU+uZgxvlR2/5E+8ybIJ7Kh4KmDSRw9PcU2UZylrW7G3sLyNecderpcpqjlMeOu5a FGeDLX6plMW3jjiEG1X2D0gP2vy69Opwlog0jjbdSko5HPCHKM4jQ/S/tndWeJc0nIdSS90h COWTlmwMt+1/MmFwpLKs+SwTWWkBfgxOWHgyYKNsjf+5HU/W0Xu2aDu3Ie9S05jjnSosrsiH T/Fpxv9fITxgqGzMOY8O1JtGEe58M1iXId3joo3gpgUn3kcnJScu3QdwgKReZ1W37zzaH0VS HsF2dnQtULs0VdkKHSG3YvoEHGc2dd6T9a/a2ISnCk66ooZbcXcpKwBhiZzrlei+EjYaOJ6m DES0/I/rnobmP0SkAUoxySZRLsVGAMLWE6k3wTN5Ne4oqJNYW+perXlz0tyk+eqC7Saqx1dU nL0Kd8yWDV95cJlPBfQwWX+v8v6LcLIY4tZ5Xj221/QyvJYI5Urmr8WiDp7bCjj6GY9xbdzj AQyj8rn+tHWcyM3oP3/WlkCanX0f59BpG2r1/0F2J/Ih8b3Wcwwf1dDFJrwEaD2TnRL7a6hb 0DWV2dk4naDReiBQ0nFtBYg/yqJS9fxbzmWPCVLko8kHUXbfR0FxlhTBWVf/NZxFxj2lpO9N h4ju3ZJoAa/80UEy/o0ZUCnAiGG+1juOnFsD8LGZBtOslMbuByTaJ3CqLo1R2YBoPjD5ESMM jDJPVwZSzFUHBXeVxa7eeDxrdjYr7rCX7T4cquIOOTU77QZDqbAxIrzgNE/oXDWbZTJZSMkV 7piiy8hFThvEsDd0V3jUgQxkCTAJ46erRa4oWhsq9ynte/sQETp7JeODL1bNZNu/Qq3iOGNL bzYgiExMjte2p4WoB2AgLECwF4fjT1vfDixAPwBsyDKVqfZhq5QCVYSdSpyMMJC66900BNKP IbXjdb817gwifBQaR8NTVv6hsSgftAHOUm4PVLDQV+IbfGIfGKQhc7wZqy4RPtbi+AV/xy8t DCHElPyazSOkz66MnLneepIjSydIFlfoNTnKkcrWTWlFoi8LETka4wS73V+27A/i3LUOHRJN DF9dxgItbiM9WZDhe05HWVd731jJO3CmiCD7uCeJIxF1JkjSilyie9e52w3jrVP6yQRDvV8g izUqNF0qkDgluiU1iFPXx9HqzINj4WO9xYHW+2R5txbVHDI8QhYp32XEAgPrsB5B8fHvqlRz p3Wl/u2Jm4dqJTb+swTA8WSI8WCeilEU1KhCHvfCw0LSiSuPGfUihlGkf2cwXaSq4Aztpnmn JdmolBzW1k8F/dcAUNgToVqyHJfUTYtkLrdh8kNtyLWRPj5QcxbutXeVavXD6ywc3CWir5LY xZOyrT9f9x7Cw== IronPort-Data: A9a23:luVyy6yNedVx9p7IStp6t+cAwCrEfRIJ4+MujC+fZmUNrF6WrkVWz zMZD2jVPKuNNGryKdpwOYyz8h9VvsSHy4djSAA/+VhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefQAOCU5NfsYkidfyc9IMsaoU8lyrVRbrJA24DjWVvd4 4Kq+qUzBXf8s9JKGjJMg068gEg31BjCkGtwUosWOJinFHeH/5UkJMp3yZOZdxMUcaEIdgKOf Nsv+Znilo/vE7jBPfv++lrzWhVirrc/pmFigFIOM0SpqkAqSiDfTs/XOdJEAXq7hQllkPgp+ tNV7t+ZDjsQM4nQsdY6eCdaSCRXaPguFL/veRBTsOSWxkzCNmLvmrBgVR5te4If/elzDCdF8 vlwxDIlNEjSwbLrhujhEK812Z9LwMrDZOvzvllpxCveC/ApW5nSBaHL/sND9Dg1j8FKW/3ZY qL1bBI1Nk+cOkEVZz/7DroystyTumn0UQEAuVS1uu0PpEKC4CVuhe2F3N39I4TWH625hH2wr WvD+yH9AwoGHMeOzCKMtHOqnO7G2y3hML/+D5W9//9uxUSQnykdUUJNE1S8pva9hwi1XNc3x 1EoFjQG9Zo07BfoZ57BZhCcvFe2mTUiWYFVOrhvgO2S8Zb87wGcD2kCazdObt06qcM7LQDGM HfZwLsF4hQ/4NWopWKhGqS89mztZHBERYMWTWpVEltfuoiLTJQb10qXFr5e/LiJYsoZ8AwcL hiPpSk6wqwQ1IsFjvrgu1/AhD2oq97CSQtdCuTrsoCNvlkRiG2NPdTABb3nARBocdbxor6p4 iBspiRmxLpSZaxhbQTUKAn3IJmn5uyeLBrXikN1Ep8q+lyFoiD9JN8JuW0lehczbK7onAMFh meD5mu9A7cDbBOXgVNfPupd9uxxkPa+TYW1PhwqRoMXM8AgHON4wM2eTRfIgzqFfLkEnqY4N pOWGftA/l5LYZmLOAGeHr9HuZdynn5W7TqKGfjTkkr6uZLDOyb9YelfbDOmMLtihIva+1W9z jqqH5HVo/mpeLauPHe/HE96BQxiEEXX8rit9ZQPK7LZf1M4cIzjYteIqY4cl0Vet/w9vo/1E ruVAye0EXLz2i/KLxukcHdmZO+9VJpztyNpMiklPFLu0H8mON794KAafpoxXL8m6O0zla4uH 6dZI52NUqZVVzDK2zUBdp2i/oFvcRKcgwjRbSeoZT4IeYFtGl7S8dj+cwqzryQDV3LltcY3r 7C6+BncRJ4PG1ZrAMrMOaCgylqwuT4Wn+crBxnEJdxaeUPN9ol2Knyp3qVnfZ1UcRian2mUz QebBxsctNLhmY5t/Ymbn72AoqeoD/B6QRhXEmzd2rC8anvX82+l9olfCbracD3YUlT0z6Wsf +Biyf/xba8cl1FQvosgSrtmwP5s59broLMGnA1oEG+RMwauA7JkZ2CFhIxB7/IWgLBevgSyV wSE/dwDYeeFP8bsEVgwIgs5b7TciatFxGGKtfllcl/n4CJX/aacVRkANRe7jiEAfqB+N5kow Lt8tcNKuRazjAEmboSPgixOrTjeK3UBV+A+tchfDta00UwkzVZNZZGaASjzucndZ9JJO0gsA zmVmKuS2OgGlxSaKyI+RSrXwO5QpZUSoxQWnlUMEFKEx4jejfgt0RwNrDk6Q2y5FPmcPz6f5 4SqC6F0GUlK1zJhhcwGRmP1Xg8YW0bf9Uv2xF8E0mbeSiFEk4ALwHIVYY6wEIIxqgqwvQS3O JmXzW/kVXDhe8SZMu4aRxt+s/K6JTBu3lSqpS1kdvhp27E1ZDPkhumlYm9gR94Lxy8urBWvm NSGN9qcpUE22eD8bkH750SnOWwsdS25 IronPort-HdrOrdr: A9a23:4gxYPasdL61vEvlXIhyPb4ei7skDe9V00zEX/kB9WHVpm62j5q eTdZEgvyMc5wxhO03I9erhBEDiexLhHPxOkOss1N6ZNWGMhILCFvAG0WKN+UyFJ8Q8zIJgPG VbHpSWxOeeMbGyt6jH3DU= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="5.93,272,1654552800"; d="scan'208";a="22341425" X-MGA-submission: =?us-ascii?q?MDEsD3cHV07j6HJjBWWp3NMDEpyIIwXbh0x6D0?= =?us-ascii?q?KXrjjChb5OkgCTRrvA68V/slZBLLjLpW6/03VgdYeSf26gGv9pj+bQPO?= =?us-ascii?q?i4PfpPc+Y0STmYIFVy8lZ/qT0mlRHInzHsNiURsjfJCa9IPkMRQFUn+N?= =?us-ascii?q?s0GHlhRuf9rx/REyA8bFVmpA=3D=3D?= Received: from mail-qk1-f173.google.com ([209.85.222.173]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 29 Aug 2022 17:43:31 +0200 Received: by mail-qk1-f173.google.com with SMTP id g21so6321974qka.5 for ; Mon, 29 Aug 2022 08:43:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:subject:message-id:date:from:mime-version:from:to:cc; bh=Qewmdn9RLyLZWUYYRMbuFpBYD2IZkWVE3lfiKbsfLDA=; b=Aape2k4NqrWr2bevLPxRnfN9o0UFYCHrvdD4N5rYkGDn/qFW41mzEQ6pR/GT4/6ngF 7pggFJ/YwXRgPeBQKMEeB7Ld7a8JTL1EqJbvNjg0xcNhqCzpZE3yGWib+xaE3YC1y2r0 joNwUYCayy38WJCCgkpo5tNjFOdI/3A1ypRQYV8lN2HnjwgwJSV+5B40nltmIjYZ0fr9 5LZVH1DcQqkwcBJq9wtJBoW2sQ51g0rF+9ynhWZxqsOMw09aLr20trC+TDzQzdLcTg4b tRLlPJNT+saNBfRJuvwZlLiaX8zLqgq1Uorbz1lrQh1pViDjXrR6HAgzXojlwmzS7g05 ZXVQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc; bh=Qewmdn9RLyLZWUYYRMbuFpBYD2IZkWVE3lfiKbsfLDA=; b=C8DQmiCALjEMaJWsfTN7tZTIOok+jQCmk8/92MxwqeA+n0QJsijc4FztNUsgvXIMrK JRlGdjBx1l1bLLdFDuAXgn7+a/HoDmWspDMsjLEQprkQnW2IO4nznLtRNYoyu08not03 hV3lh8ckis5b4tHQ4z31JlpkDWeCQ14+RfjcUv42n7SjojFmDqVlT8UPImeSKsNlMQos A6RLGQf1OOwbE1NEbTG3d+UMDBLtO5Q7y9QifFh7C31a/XFIIc9UefAFrhMyCzC/cBC1 if9QAxShCZWaDdPe1kee1CxL64Dha9zjW0CQn54PQQBDtEpBbreFXiSxWALAUoMTtNWF P0Rw== X-Gm-Message-State: ACgBeo2HCrzDR6e4UZNslsy0maogP3S1QkUqNI/EIZq/G52QD2Xi9Q9a FImN/cUO5lM7mD036BYirnfTAXxZZFrtSMRNn2xEqggo X-Google-Smtp-Source: AA6agR6fQT+IqBO6LvDG3aC+svbsspeY/U828lSjItlgUgTMzjwQF4+U76dfIwjcvu8HSg7pdjOEdIq5nxc5KM07Ip0= X-Received: by 2002:a05:620a:2723:b0:6bc:5cdc:88f2 with SMTP id b35-20020a05620a272300b006bc5cdc88f2mr8906007qkp.607.1661787809308; Mon, 29 Aug 2022 08:43:29 -0700 (PDT) MIME-Version: 1.0 From: Aaron Gray Date: Mon, 29 Aug 2022 16:43:11 +0100 Message-ID: To: OCaML Mailing List Content-Type: text/plain; charset="UTF-8" Subject: [Caml-list] coinductive data types Does either ML or OCaML have coinductive data types ? And if so could you please point me at the/some appropriate documentation on them. Many thanks in advance, Aaron