(vl-jp-design-locations x &key (ps 'ps)) → ps
Function:
(defun vl-jp-design-locations-fn (x ps) (declare (xargs :stobjs (ps))) (declare (xargs :guard (vl-design-p x))) (let ((__function__ 'vl-jp-design-locations)) (declare (ignorable __function__)) (vl-ps-seq (vl-print "{") (vl-jp-description-locations (vl-remove-nameless-descriptions (vl-design-descriptions x))) (vl-println "}"))))