Lines Matching defs:cons
37 (cons form acc))))))
192 (defun cons-to-all (a x)
195 (t (cons (cons a (car x))
196 (cons-to-all a (cdr x))))))
215 (t (cons (fix-signature (car sigs))
237 (essential-events (cons (car (last form)) (cdr forms)) acc ctx state))
239 (essential-events (cons (cadr form) (cdr forms)) acc ctx state))
243 (essential-events (cons exp (cdr forms)) acc ctx state))
256 (cons (list* 'encap
266 (cons-to-all 'defun (cdr form)))))
271 (cons (cons 'mutual-recursion events) acc)
277 (if new-form (cons new-form acc) acc)
353 (list (cons #\0 (car lst)) (cons #\1 nil))
459 (let ((*features* (cons :acl2-loop-only *features*))