Fusion of vl-pgenstr-highest and alist-keys, for efficiency.
(vl-pgenstr-highest-of-alist-keys prefix names) → *
Function:
(defun vl-pgenstr-highest-of-alist-keys (prefix names) (declare (xargs :guard (and (stringp prefix) (vl-namedb-nameset-p names)))) (let ((__function__ 'vl-pgenstr-highest-of-alist-keys)) (declare (ignorable __function__)) (mbe :logic (vl-pgenstr-highest prefix (alist-keys names)) :exec (cond ((atom names) 0) ((vl-pgenstr-p prefix (caar names)) (max (vl-pgenstr->val prefix (caar names)) (vl-pgenstr-highest-of-alist-keys prefix (cdr names)))) (t (vl-pgenstr-highest-of-alist-keys prefix (cdr names)))))))