From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=RD+y6Lua; dkim=pass (1024-bit key; secure) header.d=m4x.org header.i=@m4x.org header.a=rsa-sha256 header.s=svoboda header.b=sc1iIrOs; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) (using TLSv1.2 with cipher ECDHE-ECDSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by plum.tunbury.org (Postfix) with ESMTPS id D3B0A40016 for ; Thu, 24 Apr 2025 06:39:29 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:message-id:in-reply-to:references: mime-version:content-transfer-encoding:subject:reply-to: sender:list-id:list-help:list-subscribe:list-unsubscribe: list-post:list-owner:list-archive; bh=uvyQkb+JawFCu+qjmjhrN596mrai7dIvPT16Uc9EapQ=; b=RD+y6Lua/R0rY3gPLM9k9DwabjlStHy5afixOulEqwpfSD8hZajuTOVW uIc+KNZepkfnP19zcVruO3VbPyy15Q8EW3S9juWCORwc1IknoHj6Os8v5 WCpWm//RX0yvuWsi+aW+v0FFONk0cc2ZJrdTP8UGmE62ljK4s05Bt6tlQ s=; Received-SPF: Pass (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr designates 128.93.162.160 as permitted sender) identity=mailfrom; client-ip=128.93.162.160; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 include:mailout.safebrands.com a:basic-mail.safebrands.com a:basic-mail01.safebrands.com a:basic-mail02.safebrands.com ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" 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 Authentication-Results: mail2-relais-roc.national.inria.fr; spf=Pass smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@sympa.inria.fr; dkim=pass (signature verified) header.i=@m4x.org X-IronPort-AV: E=Sophos;i="6.15,235,1739833200"; d="scan'208";a="219200807" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 24 Apr 2025 08:39:28 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2C7CCE0D23; Thu, 24 Apr 2025 08:39:28 +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 DFDF6E007A for ; Thu, 24 Apr 2025 08:39:26 +0200 (CEST) IronPort-SDR: 6809dc9e_n5g78Hebude3/g5uY6SYtL4Jkf64tMQCVittpmJ50bezN0b jOdf7vGcxZZsQa0u74VydsT5VOq1I+O0TX7QCpA== X-IPAS-Result: =?us-ascii?q?A0E1AQAk3AlojyIeaIFagQmBU4JEdwZaMwcISIRVli+YA?= =?us-ascii?q?4FVFIF5AQMBDTkIAQIEAQEDAQOQMAIfBgEEMAkOAQIEAQEBAQMCAwEBAQEBA?= =?us-ascii?q?RABAQUBAQECAQECBAYBAhABAQEBAQE5BUmFew2CW4EsgSUBAQEBAQEBAQEBA?= =?us-ascii?q?QEBAQEBAQEBFwINfgYjHQEBOA8lAhEHDgICVoMbAYJkAwQBDAazBIEygQGCD?= =?us-ascii?q?AEBBoFYQU/ZOIEbSgMGgRsuhW2CSRoBBW2JcScPgQNSRIE8YoIJgzcCAoEXg?= =?us-ascii?q?QYOgw6CaYEUgR2BF4Eggg8daYUaBBFWa4JEhGqFBIZ0gU0cA1ksAVUTFwsHB?= =?us-ascii?q?WGBCAOBD241HYJXhSWCEYIEgiWGZ4RSLU+FMn0dQAIBC209NwkLGwY9llWDO?= =?us-ascii?q?YFugRFtk3iybTQHhB6BXgYMiQWBJJU1BkKDcAGmZph+jgaVVoVZgWc6gVxNM?= =?us-ascii?q?EOCZ08cD5IhhRO+REE1PAIHAQoBAQMJhUgaAQFkiVSBSwEB?= IronPort-PHdr: A9a23:2GvYCxUdgKyaTLjkjXEwZNFIaAXV8KwmXDF92vMcY1JmTK2v8tzYM VDF4r011RmVBt+ds6oP0baG7P2ocFdDyKjCmUhBSqAEbwUCh8QSkl5oK+++Imq/EsTXaTcnF t9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5/I gu6oR/NusUKjoduNKk8xxjLr3ZIZu9b2X5mKVWPkhnz4cu94IRt/yNMtfw/6sVOS7/6f6M2T bxZCDQpLWU479D1uBfAUAWC+GISXn0ZnRRUDQfF6gr6XorqvSvhquV9wiiaMtboQr0yRD+v8 r1kSB7siCcAKj457GTagdF+ga5HvB6soQF0zojJa4+XKfV+ZLvQc90aS2RfXcheVSJBDJ6zY IQTAOQMJvpYr5DnqlcSsReyGQuhCeXywTFInH/22qg63vwuHgHHxgwgENMOsHDKo97oLqkSS /66zLfPzTXYc/NW3ir25Y/WchAgu/GMUrNwcc7PxkU1DwPFlEufqZLiPzOOyuQNtHOW7+9vW OOgkWInrBtxoje2y8oql4LGiZ4bxEre+iVl3IY6O8e4SEhjbNOmDZdcqSWXOpVqT80tQGxkp jg2x6MEtJO0fCUExpQpygDQZvCad4WF7BHuWPuQLDp5hH9pZrKxihiv/UWjyeDxUNS/3lhNr ipAiNbMt3YN2gTc6siGVvt9/lqh1i2V2w/P7eFEJFg4lbfAK54gxL4wmYAfsUHeESLwhU74j 7eWe1059uS27+nreKjqqoOTOoNuhAzyLr4il8KwDOggMAUDXHKX9fqz2bDj50H1XatGg/ksn qXHrZzXI9kQq7C9Aw9IyYYj9wiwDy273tQZnHgIMkpIdA6BgoP0IV/BOur4Au26g1m0kDdk2 fTGPrr5D5XIIXnPja3tfa56605YyAsz0c5Q6I5UCrEHIfLzQ1Lxu8LCAh8+KQy0zP7rCNR71 owARWKCGrKVPL3WvFOS++4jP+aBaJUbtTrhMfQo6fHjgWc8mVAHfKmp2ZUXaGq/HvRjO0iXf GbijModHWoSowo+QvLlhFqaXDFSYni/R6c86z40CY68CofDXI+tjaSf3Ce6BJ1WaWFGClSSH nvyb4WEQekDaDyVIs96jjwEUqOsRJQm1RGzsg/116RoLvHO9i0dup/i28J55+rJlRE97TB0C d+S3HmXT25ohmMIWyM23KdnrEBg0luDy7R3g+REFdxP4PNEShs1OoTZz+x+EtzyXgPBfsyVS Fu9WdWnATQxTsorzNMUYkZ9Hc+ijhHZ0CawDb8Vje/DOJth+avZ2z31Jt1h43fAzqgoyVc8E eVVMmjzuK9l+AnXCsbxiUiHkL22cuxIwi/X+2aHwCyWpkxGVxVsVo3AAWBZYVHZ+4eqrnjeR qOjXOx0ejBKztSPf/MigrzBiFxHQK2mI9HCeyernGz2Ax+Ux7SKZY6semMH3SybBlJX2xsL8 yOgMg4zTjykv3qYFCZnQEzueUzt9eQ4sGm2UEgv0waiahFxkb2v9U1dnuSSHssaxalMoyI9s 3NxFVe50cjRDo+7nTE5KbhSbJBo0HQS0D7J8QtnMcm+Lrpth1oTNRxtsl3pzAlwIo9HjM4ho WhsyVZib6WC3wAJbCuWiKj5IaafMWzu5FavZqrRj0nZy8qT87wT5e4QrkW6+hmuEls+/n5n1 dhMznba4Y/FZOYLebT2VEt/tx1zprWAJzI4+5uRz3pnd6+9rj7F3dstQuoj0BepOdlFYuuCE 0fpHssWCtLLSqRikkW1bh8CIOFZ9bIld8Kgefyc3ae3PeFm1Du4hGVD6Yp53wqC7S15AuLP2 p8Exbmf0G7lH3/ijU2us8T635heaC8VBXa44S24FMhWfKIzNYcHBGGyItGmk81kjs2IOTYQ/ 1qiClUanc6xLEPIPhqkhVEWjhxR+iD0/EnwhyZ5mDwosKeFiSnHwuC4MQECJnYOXm5py1HlP YmzidkeGkmudQkg0hW/tiOYj+BWorpyK27LTAJGZS/zeitZaJDo46eMbo0a2LB9tHlHFuOmb gWES6Tyoh8XlTv5EnVZ3yw8Xzutp5Pykgc8jT6NanFpozCKHKM4jQea/9HaSfNLi3AYRTN3i D3aQECmMseu5smTv5Kfoqa5TW3rBfgxOWH7iIiHsiW8/2hjBxayyuuyltPQGg8/ySbn1tNuW E0ktT7Ea5Lwn+S/OONjJAxzAUPkrtB9Ecd4m5cxg5cZ3T4bgI+U9DwJizW7PdJe0KP4JH0DI FxDi+Xv21CwxUNubSe55Nf8CmXbxdFuMse7eGwX3i9799pHFqCP8LtslyxopFG1tkTUPeg7m S0SrJlmoHIXmOAGvgMxwz7VW+pDWxAAYWq3z1LTs5i3t+1PaXyqcKSs2UY2ht2nALyY42Q+E D74dpokAS5s/5B6OVPI3mf079Ksc93RYNQP8xyMxk6a3q4McM53zaJM3nY0XAC19WcowOM6k xF0iJSzvYzdbn5o4Lr8GBlTcDv8e8IU/Djpy6dYhMefmY61TfADUn0GWoXlSfWwHXccr/PiY ky1KgZk/2qVFPmKLSzK7Rt26XXVHMW1NmuYJX0Ui814SQeaP1BYqAoTQTMxk4V/E1y6gsv7f w0qg1JZrk69sRZKxu9yYlPEaFyH8RqmZ3RheLvKKUZGqAZY6BLLMNaR7+Z+WTlC84OmtxCKA macegJDAHpPXxCUQVf5MfP9gLuIu/jdDe24IfzUZLyIouELTPaEy6Wk1Y5+9iqNPMGCbTFyS uc20U1ZUTVlCtzUzn8RHjcPmXuHPKv57F+svzd6pcel/LH3VRLzsMGRXqBKP4wnuBGu3fXab b/W3X4lb20AkMhQjTzJ0ORNhQRDzXg2K3/2SfJb6EuvBOqTm7cLXU9CLXopbY0WteRlhlYFe s/D1IGvjuYh3KJsBw8XXA6+k8z0N55ULz7tZgicYSTDfPeHPWOZmZmvOPHgELEI3rwG5kG8t GTJTBS9Mmbcy2axH1WmNeUG5M2CFCRXo5r1MhNkCGy5CcnjdgX+Kth8yzs/3bwzgHrOc28aK zl1NU1X/PWc6iZRg/M3HGIkjDItNe6fhyOQ9PXVML4ToaItGiNwhv5X63Q8yqJI4WdDXvM9l CbJr9Foqk2riaHWkGshCUIS7G0TwtnX9Ux5XMeRvoFNQ3PF4A4A4S2LBhIGqsEkQtzjtqZMy 8TewaL+LDARu9nQ/MYaG43VMJfeaitnaEK1XmWMSlBZHlvJfSnFikdQke+f7CiQp5k+8N33n YYWD6VcXxozH+8bDUJsGJoDJo12V3Uqi+3+7oZA6HygoR3WXMgfsIrAU6fYOs/UcGOEg7QHM isrlLakPcIULIKuxU14ZVh+kcLSAUfOWstRpQVraRIyq0hWtn0iXis0wU2vOWbPqDcDUOW5m BI7kF40eeM26DLl+Es6PHLPtHJ2iE41iMnoijCXcSfsIeG3R44cWE+W/wAhd5j8RQhydwi7m 0dpYSzFS7xmhLxlbWl3iQXYtMgHCbtGQKZDehNV2eCPaqBizwFHsiv+jxwih6ONGd54mQAta 5Lps39Qx1cpcosuPaKJbKMBi1FUgujmVsqA07whhggEKBRVmIt9UCQPpUoDO6JgIna4uOt25 l7b89OiUG0cDrwypfZ76k42O+KB1j/tlblZJRLoX9E= IronPort-Data: A9a23:LYSMkaklVYKtYchBX+h9qf3o5gwRIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJOUGuDMquMYDH9c94kYYzloRgPucCDzYNkSgpqpCAxH1tH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayaz98B56r8ks14ayu4m9A5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1KPl8MH6cmyNxRAGwW5 dIedR0hRR+60rfeLLKTEoGAh+wmPJCtJIQbq21txjHfDO87TNbEWaqiCd1whW1hwJkWQbCFP 4xCNVKDbzyYC/FLEmwtM8prgemlxSzPUGhd9ELTorA4tnbS1gNw1LWrKMDYZNuRWcJ9lEGFo GnL5CL8XgFcM8aQodaA2ij117WXxXyrCer+EpWD2t5ar3C8mFcyAT8YU1CnsMCypG+xDoc3x 0s8oXdy8/NtrCRHVOLVVBS9pDuAvwUAc8FBFvUzrgCL0KvdpQiDblXoVRZEeIVgrMgyVCAn3 V+Pnsr0CHpoqrL9pW+hGqm8iQGsAwo/E104Qy4JFRsr5YTOjKo8t0eaJjp8K5KdgtrwEDD25 jmFqikimrke5fLnMY3nozgrZBrw+PD0oh4J2+nBYo6yxi1DDLNJiqSt+QGd9fFEPZqURVmHv WEZlo6Z9u9m4XCxeM6lHbRl8FKBvqbt3NjgbbhHRMBJG9OFoCPLQGyoyGsiTHqFy+5dEdMTX GfduBlK+LhYN2awYKl8buqZUpt2kPS7To26CqqLMLKih6SdkifbrUmCgmbMjwjQfLQEy8nTx L/FLJv3Ux7294w9kmfeqxghPU8DnX1imziMHfgXPjyq2r2aaTaNTrMULFaFbuY49b6J6AjN6 N1HX/ZmOD0CONASlhL/qNZJRXhTdCBTLcmv+6R/KLXZSiI4Qz5JNhMk6e96E2CTt/gOzr+Ql px8M2cEoGfCaYrvclXRMy4zN+60Av6SbxsTZEQRALph4FB7Ca7H0UvVX8FfkWAPpbMzn81nB eIIYduBCflpQzHKsWZVJ5rkoYAoMFzhiQuSNmD3KHIybrxxdTzvo9XERwrI8DVRLyyVscBln aas+DmGSrU+RiNjLv3sVtSR832Ls0MwotlCB3nzHoELeWHH0pRbFCjqv/pmf+AOMUriwxWZ5 Sa3ADAZh/Xrg4Ao+oLrg4GFsIabPO9sFWVKH2TgzOiXNAuL2kGB0IN/QOKzUjSFb1zN+YKmf vRz8/HwFNYljWR6mdNwPJgzxJ1v+ua1gaFRyzpVOUnibnOpO+tGGWaH18wejZ997OZVliXuU 33e5+QAH6uCPf7kN1sjJAAFSOCn/tNMkxnw6cUFGmnL1BVVzpGmD3oLZwKtjRZDJoRbKIkmm OctmPAH4jyF1yYFDIy0sTB2xU+tcFo7TKQVhrMLCtTKiy0q6G14T77yNyvU2KyLOvJwahQEA znMn6fTpaVu9mybeVoJKHX99+58h5MPhRN08GE/N2m5wuTiuPtm8yBSoBIWTxtUxCppy+hcG HZmHGwrKLSs/wVHvtliXWetKgQQXRec3Ej62gYVsk3WUkPzdGrsLXI8C8mJ7ks242JRRRkF3 bC6mULOcyfmQ9H15QQ2AXVakv3EScdg0DHClOSMPdW3L7NjbRXL2qaRNHc18T35CsYPtWj7j OhN/tcoT5bkNCQV8pYJO6PD2Zs+EBm7dXF/G9d/96Y0HEbZSjG4+R6KD2uTIsptBfj7wXWUO vxUBPBkdkqBjX6VjzUhG6QzDad+n6cp6Po8a7rbHzM6nIXFnAV5kqD713bYv3AqceVMgMxmC 4L2dhC+KEKyq0ZQuVfwqJhjBjLlT/gCPBbxzcKkwtUvTpgjitxhQWs287mzvkiWDjdZwgKpj FvDSZP7n+1G4qZwrrToCZRGVlmVK8usdeGm8zKTktVpbPHTPOvjqgg6+0LqDz5SDOERRt1Hu +2/i4Pp10bOvZIdcWPQq7+eHYZnuOSwW+t2NJrsDX94xCGtZu7l0yEhyUuZd6Nbtcx73da2Y Te4ZO+bV88na/0EyFJ7MyFhQgsgUYLpZaLelAaBhvWrCClF9zfYLdmipETbXUsCegAmY5TBW xLJ4dCw7dVlraNJNh8OJ9diJ7RaeFbDe68XR+fdhAmiLFuDow294+P5tB8a9zv0JGGOE5/67 bL7VxHOTkmOl5+S/u5Jkb5Zn0MxN2l8s9kSb0hG2t9RihKGNkAkA9kZE607DsBzrnSv+rD+P T3DVT53Q2G1FzFJag7179nfTx+STL5GcMvwIjsyuViYcWGqDYeHG6Fs7Tpk/2wwQDb40eW7M psLzxUc5PRqLk1BHo7/J8BXgNuLAtvf1itO4Uf5gtD/CBYYAKwX2TpmBgUluenvDZTWjEuST YQqbTksfa15YReZ/QVcl7p9EhYEujji1HMtMTfJx8zQ02le5PMV0+XxYokfzZVaBPnn59cyq bffQjedpWeM1RT/fEfvV80B2cdJNB5AIiR2wGIPi+Hfc2FcJ1nL5/8/oBc= IronPort-HdrOrdr: A9a23:gyJk2a1+g1YiEHGmAjUtDQqjBGckLtp133Aq2lEZdPUzSL39qy nOpoV/6faQslwssR4b9OxoVJPtfZqYz/9ICOoqTNWftWvd1ldARbsKheDfKn/bexEWndQttp uIHZIQNPTASXBEyez67AO7H9tI+qjgzImYwc3Z1GxgSAl2a6dmqydVYzzrdXFedU1hHpR8MJ Kd46N81kKdkJksH72GOkU= X-Talos-CUID: 9a23:D2TyDWMbH0rw4+5DfBt5zmw+JPIfVHzQlGf+JRKVJU1mcejA X-Talos-MUID: =?us-ascii?q?9a23=3Am335nA4bbN+xZnOrkg4qnN4axoxTz4SeJ20iz64?= =?us-ascii?q?nsuuKMydsKg6WohW4F9o=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-AV: E=Sophos;i="6.15,235,1739833200"; d="scan'208";a="219200789" X-MGA-submission: =?us-ascii?q?MDFvTpNxqww0BqpVPMDjymmIWzXvLqq2LrPm/2?= =?us-ascii?q?ccvdmlFh1Ts6gxznfCnb/2TkNWjliqgg2I/dn2NQnXsSdVvD+530gI4c?= =?us-ascii?q?Bn3zdE4cTOD2Ab1AARyp/r64LmgkSWQ+/dNWKv7KGsb1pR4Pdpl50RHL?= =?us-ascii?q?nYMA4G92NSyaAKqkNkd6TlxA=3D=3D?= Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 24 Apr 2025 08:39:26 +0200 Received: from dummy.faircode.eu (unknown [78.245.129.21]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id 7C6D2564A5B for ; Thu, 24 Apr 2025 08:39:25 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=m4x.org; s=svoboda; t=1745476765; bh=uvyQkb+JawFCu+qjmjhrN596mrai7dIvPT16Uc9EapQ=; h=Date:From:To:Message-ID:In-Reply-To:References:Subject; b=sc1iIrOsGtcHnv8U+EyaU3TYKQrZBhQsIP/soHx7+8Vu46EM7SnRyXx0ozDqHbRSl /rdsAEY2ceimpCmUXDgcNw78PpeONG5juHceh1S4f/8zW/r04a+7cG1nP32BjfrVsI ZjpC6Y7YQClSTsvUE0jwCMxdRuzAqzV9zGYmp+UY= Date: Thu, 24 Apr 2025 08:39:23 +0200 (GMT+02:00) From: Virgile Prevosto To: caml-list@inria.fr Message-ID: <6891bc81-fff2-4cd7-989b-0de1b7517eed@m4x.org> In-Reply-To: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Correlation-ID: <6891bc81-fff2-4cd7-989b-0de1b7517eed@m4x.org> X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Thu Apr 24 08:39:25 2025 +0200 (CEST)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000006, queueID=DA499564A5C X-Org-Mail: virgile.prevosto.1996@polytechnique.org Subject: [Caml-list] automatically resolving open? Reply-To: Virgile Prevosto X-Loop: caml-list@inria.fr X-Sequence: 19307 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Hello, this is one of the built-in transformations offered by the recently adverti= sed `ocamlmig` tool: https://github.com/v-gb/ocamlmig/blob/main/doc/using.md#removing-opens However, it comes with caveats, including that "when identifiers are requal= ified, not all possible shadowings are taken into account" (and I've checke= d that indeed in Fran=C3=A7ois' example we end up with a `List.map` below t= he `module List =3D struct end`...) Best regards,