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