Searched refs:ptcsub (Results 1 – 1 of 1) sorted by relevance
389 (ptcsub (p-terms p) (first vals)411 ((eq (p-var p) var) (ptcsub (cdr p) val nil nil))421 (defun ptcsub (terms val vals vars) function