Lines Matching refs:args
199 |- xxxjoin fn args =
200 ite (cddr args) (List [fn; car args; xxxjoin fn (cdr args)])
201 (cons fn args),
206 (`xxxjoin fn args =
207 ite (cddr args)
208 (List [fn; car args; xxxjoin fn (cdr args)])
209 (cons fn args)`,
211 THEN Cases_on `args`
2779 |- make_mv_nths args call i =
2780 ite (endp args) nil
2781 (cons (List [car args; List [asym "MV-NTH"; i; call]])
2782 (make_mv_nths (cdr args) call (add i (nat 1)))),