Formal->alias
- Signature
(formal->alias x) → alias
- Arguments
- x — Guard (formal-p x).
- Returns
- alias — Type (or (not alias) (characterp alias)).
Definitions and Theorems
Function: formal->alias
(defun
formal->alias (x)
(declare (xargs :guard (formal-p x)))
(let
((__function__ 'formal->alias))
(declare (ignorable __function__))
(b* (((formal x) x)
(alias (cdr (assoc :alias x.opts)))
((when (characterp alias)) alias)
((when alias)
(raise "In ~x0, :alias must be a character, but found ~x1."
x.name alias)
nil))
nil)))
