ACL2-PC::ST

(macro) same as SHOW-TYPE-PRESCRIPTIONS 
Major Section:  PROOF-CHECKER-COMMANDS


Example:
sr

General Form:
(st &optional rule-id)
See the documentation for show-type-prescriptions, as st and show-type-prescriptions are identical.