That is not exactly correct, it also does cross module inlining. Now, suppose you tweak a bit your parameters to inline ... liberally. It's going to inline all

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