Formal argument of an (assumed) unary function.
(expdata-formal-of-unary fn wrld) → var
Function:
(defun expdata-formal-of-unary (fn wrld) (declare (xargs :guard (and (pseudo-termfnp fn) (plist-worldp wrld)))) (let ((__function__ 'expdata-formal-of-unary)) (declare (ignorable __function__)) (cond ((symbolp fn) (car (formals fn wrld))) (t (car (lambda-formals fn))))))