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