Major Section: PROOF-CHECKER-COMMANDS
Example and General Form: type-alist
Display the current assumptions as a type-alist. Note that this display includes the result of forward chaining.
