Dear Christophe, You can disable the use of "-opaque" by always compiling in the release profile, either by passing "--profile release" on the command line or by adding (profile release) to the dune-workspace file. Hope that helps, Nicolas ________________________________ De : caml-list-request@inria.fr de la part de Christophe Raffalli Envoyé : vendredi 15 janvier 2021 04:57 À : caml-list@inria.fr Objet : Re: [Caml-list] functor inlining CAUTION: This email originated from outside of the organization. Do not click links or open attachments unless you recognize the sender and know the content is safe.