Dirabsdeclor-option-rename-fn
- Signature
(dirabsdeclor-option-rename-fn c$::dirabsdeclor-option uid new-fn)
→
fty::result
- Arguments
- c$::dirabsdeclor-option — Guard (dirabsdeclor-optionp c$::dirabsdeclor-option).
- uid — Guard (c$::uidp uid).
- new-fn — Guard (identp new-fn).
- Returns
- fty::result — Type (dirabsdeclor-optionp fty::result).
Definitions and Theorems
Theorem: dirabsdeclor-option-rename-fn-under-iff
(defthm dirabsdeclor-option-rename-fn-under-iff
(iff
(dirabsdeclor-option-rename-fn c$::dirabsdeclor-option uid new-fn)
c$::dirabsdeclor-option))
