TAU-DATA-BASE

to see the tau data base as a (very large) object
Major Section:  HISTORY

Example:
(tau-data-base (w state))

This function returns a large list object that shows in a human-readable way what the tau system knows about every function symbol. It is supposed to be self-explanatory.

If it is not, please contact the implementors and we will improve the output or the documentation.