Same as vl-namedb-plain-name, but doesn't print messages when names aren't available.
(vl-namedb-plain-name-quiet name db) → (mv fresh-name new-db)
Function:
(defun vl-namedb-plain-name-quiet (name db) (declare (xargs :guard (and (stringp name) (vl-namedb-p db)))) (let ((__function__ 'vl-namedb-plain-name-quiet)) (declare (ignorable __function__)) (mbe :logic (vl-namedb-plain-name name db) :exec (b* ((names (vl-namedb->names db)) (pset (vl-namedb->pset db)) ((when (hons-get name names)) (mv-let (fresh db) (vl-namedb-indexed-name name db) (mv fresh db))) ((unless (vl-unlike-any-prefix-p-of-alist-keys name pset)) (mv-let (fresh db) (vl-namedb-indexed-name name db) (mv fresh db))) (names (hons-acons name t names)) (db (change-vl-namedb db :names names))) (mv name db)))))