Wow! Thank you very much! I don't know why I could not find it.<br /><br />18:40, 11 октября 2019 г., Thierry Martinez &lt;thierry.martinez@inria.fr&gt;:<br /><blockquote class="b4fd5cf2ec92bc68cb898700bb81355fwmi-quote"><p>Hello, Vadim!<br /><br />Vadim:<br /></p><blockquote class="b4fd5cf2ec92bc68cb898700bb81355fwmi-quote"> Hello! I'm trying to figure out how shadow/override nested modules in<br /> OCaml.<br /></blockquote><p><br />A generic solution for old OCaml versions (&lt;4.08) has been explained by<br />Gabriel Scherer in the following blog post:<br /><a href="http://gallium.inria.fr/blog/overriding-submodules/">http://gallium.inria.fr/blog/overriding-submodules/</a><br /><br />The idea is to use destructive substitution while including the original<br />Ipaddr:<br /><a href="http://caml.inria.fr/pub/docs/manual-ocaml-4.01/extn.html#sec234">http://caml.inria.fr/pub/docs/manual-ocaml-4.01/extn.html#sec234</a><br /><br />module Ipaddr = struct<br />  include (Ipaddr : module type of Ipaddr with module Prefix := Ipaddr.Prefix)<br />  ...<br />end<br /><br />But I guess that the code you posted should work just fine with OCaml &gt;=4.08<br />thanks to the following change:<br /><a href="https://github.com/ocaml/ocaml/pull/1892">https://github.com/ocaml/ocaml/pull/1892</a><br /><br />Best regards.<br /></p><span class="c18e9d485856a85513717a5a5b59d3fewmi-sign">-- <br />Thierry Martinez.</span></blockquote>