Formal argument of the
(expdata-formal-of-newp surjmap wrld) → var
Function:
(defun expdata-formal-of-newp (surjmap wrld) (declare (xargs :guard (and (expdata-surjmapp surjmap) (plist-worldp wrld)))) (let ((__function__ 'expdata-formal-of-newp)) (declare (ignorable __function__)) (expdata-formal-of-unary (expdata-surjmap->newp surjmap) wrld)))