> > With so many people developing excellent compilers,
> > I was hoping to get a hint on the visualization of
> > graphs (even trees would help) using native OCAML.
> > The layout is not required to be good; this is
> > intended for researching the nature of large Web
> > sites using our existing modeling software written
> > in OCAML.
> I don't know about OCAML graph-viz tools, but some
> time ago I did a search for graph-viz tools in
> general, and attached below are my notes.  Hope
> they are of some use to you.

I suppose that it is worth mentioning in this connection the HOPS (Higher
Object Programming System) project, which uses da Vinci together with O'Labl
to format higher-order term graphs (but not of O'Labl terms).

http://diogenes.informatik.unibw-muenchen.de:8080/kahl/HOPS/

--FC