(stv-turn-bits-into-non-canonical-paths instname-list bits) → merged
((foo bar . baz[3]) (foo bar . baz[2]) ... (foo bar . baz[0])).
Function:
(defun stv-turn-bits-into-non-canonical-paths (instname-list bits) (declare (xargs :guard (true-listp instname-list))) (let ((__function__ 'stv-turn-bits-into-non-canonical-paths)) (declare (ignorable __function__)) (if (atom bits) nil (cons (append instname-list (car bits)) (stv-turn-bits-into-non-canonical-paths instname-list (cdr bits))))))