> Why not modify the script to produce valid a valid ocaml module and
> then just open that module?

(1) Because it would make the script heavier, IMHO.

(2) Because there are actually two different things that should be
automatically generated :

  (a) The type declaration
  (b) A function to convert it to a string.

And I would like to embed as few Caml code as possible in the script.

Sébastien.