That is not exactly correct, it also does cross module inlining. Now, suppose you tweak a bit your parameters to inline ... liberally. It&#x27;s going to inline all the mirage functors directly into your main, which enables various things.<p>Of course, that&#x27;s going to take a bit of time to compile.<p>Also, IIRC, all the ingredients are in place for link time optimizations, but they were not developed for ocaml 4.03.