> This might be what you're looking for:
> http://docs.camlcity.org/docs/index.html

Thanks.  I'll try it.  Does it support e.g. searching for "(a->b) ->
[a] -> [b]" and spitting out List.map?

Matthias.