Searched refs:prodnd (Results 1 – 1 of 1) sorted by relevance
732 (cond ((atom e) (prodnd (list e)))733 ((eq (caar e) 'mtimes) (prodnd (cdr e)))734 (t (prodnd (list e)))))736 (defun prodnd (l) function