To see the tau database as a (very large) object
Example: (tau-database (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. See introduction-to-the-tau-system for background details.
If the output is not self-explanatory, please contact the implementors and we will improve the output or the documentation.