		Search-engine friendly clone of the ACL2 documentation.

Stmt-rename-fn

Signature
(stmt-rename-fn c$::stmt old-fn new-fn) → fty::result
Arguments: c$::stmt — Guard (stmtp c$::stmt).; old-fn — Guard (identp old-fn).; new-fn — Guard (identp new-fn).
Returns: fty::result — Type (stmtp fty::result).