Lines Matching refs:args
195 |- xxxjoin fn args =
196 ite (cddr args) (List [fn; car args; xxxjoin fn (cdr args)])
197 (cons fn args),
202 (`xxxjoin fn args =
203 ite (cddr args)
204 (List [fn; car args; xxxjoin fn (cdr args)])
205 (cons fn args)`,
207 THEN Cases_on `args`
2775 |- make_mv_nths args call i =
2776 ite (endp args) nil
2777 (cons (List [car args; List [asym "MV-NTH"; i; call]])
2778 (make_mv_nths (cdr args) call (add i (nat 1)))),