display the applicable type-prescription rules
Major Section: PROOF-CHECKER-COMMANDS
Example: show-type-prescriptions General Form: (show-type-prescriptions &optional rule-id)Display type-prescription rules that apply to the current subterm. If
rule-idis supplied and is a name (non-
nilsymbol) or a
definitionrune, then only the corresponding rewrite rule(s) will be displayed. In each case, the display will point out when a rule is currently disabled (in the interactive environment). Also see type-prescription.