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