Hi,

I would like to print values to a file in a human-readable manner without 
having to compose the output writers of print_int and friends. In short, I 
would like to use the toplevel's function for screen output of structured 
values.

Is there a simple way, a FM or a mailing list you can point me to?

I googled quite a bit, but apparently not with the right terms.

Cheers,
Wolfgang
-- 
Dr. Wolfgang Müller
LS AI 1
Universität Bayreuth