Defunctorizer for OCaml

Question

In the past, Julien Signoles programmed ocamldefun, a program that took OCaml source code with functors and obtained an equivalent program without functors. This is useful for optimization, analysis and other purposes.

It seems that ocamldefun is no longer maintained. Does there exist some equivalent tool?

Answer 1

Markus Mottl showed a camlp4 trick to do compile time functor instantiation (with some limitation). Take a look here