The ocamldebug manual entry for load_printer says: "The loaded file does
not have direct access to the modules of the program being debugged." 

So I have to put the whole printer definition into the loaded file. But
then, how can one write a printer for abstract data types? External
files do not have access to those. 

Stefan Ratschan