Hi Oleg,

| First, please retrieve the following file
|         http://pobox.com/~oleg/ftp/ML/gprint/gprint_toplevel.ml
| and adjust the paths in the "directory" directives to point to your
| OCaml installation directory. Please run your Ocaml top-level and
| execute all #directory and the #load directives 
| in that file up to, but not including the loading of genprintval.cmo.
| Please do NOT change the order of the load directives! It took about
| half an hour to find the right order....
|
| Next, please enter the code given in the appendix of this message. The
| code will print the signature of the values in the
| existing top-level environment. For example:

Brilliant! I easily adapted it for my actual application, and it works
fine. 

Would a few small changes to the OCaml sources render all that reloading
unnecessary, I wonder?

John.