> > to have a tool lying around that does so?
> Use ocaml profiling tools to find function called zero times?
small subset of functions needed in order to compile the applications.
language, and it would be nice if it can detects also unused *types*.