Lines Matching refs:var
53 (setq top (append top '((neg (var inf var-inf))))))55 (setq top (append top '((var inf var-inf)))))83 (setq top (append top '((neg (var inf var-inf))))))85 (setq top (append top '((var inf var-inf)))))211 (setq new (append new '((neg (var inf var-inf))))))