Dirabsdeclor-option-rename
- Signature
(dirabsdeclor-option-rename c$::dirabsdeclor-option subst)
→
fty::result
- Arguments
- c$::dirabsdeclor-option — Guard (dirabsdeclor-optionp c$::dirabsdeclor-option).
- subst — Guard (ident-ident-alistp subst).
- Returns
- fty::result — Type (dirabsdeclor-optionp fty::result).
Definitions and Theorems
Theorem: dirabsdeclor-option-rename-under-iff
(defthm dirabsdeclor-option-rename-under-iff
(iff (dirabsdeclor-option-rename c$::dirabsdeclor-option subst)
c$::dirabsdeclor-option))
