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