		Search-engine friendly clone of the ACL2 documentation.

Asm-stmt-rename-fn

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