Formal->argname
- Signature
(formal->argname x world) → argname
- Arguments
- x — Guard (formal-p x).
- world — Guard (plist-worldp world).
- Returns
- argname — Type (stringp argname).
Definitions and Theorems
Function: formal->argname
(defun formal->argname (x world)
(declare (xargs :guard (and (formal-p x)
(plist-worldp world))))
(let ((__function__ 'formal->argname))
(declare (ignorable __function__))
(b* (((formal x) x)
(custom (assoc :argname x.opts))
((when (stringp (cdr custom)))
(cdr custom))
((when custom)
(raise "In ~x0, :argname is not even a stringp: ~x1."
x.name (cdr custom)))
(parser (formal->parser x world))
((when (equal parser 'parse-plain)) ""))
"ARG")))
