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