Filtering...

apply-terms-same-args-tests

books/std/system/apply-terms-same-args-tests

Included Books

apply-terms-same-args assert-equal
other
(in-package "ACL2")
include-book
(include-book "apply-terms-same-args")
include-book
(include-book "std/testing/assert-equal" :dir :system)
other
(assert-equal (apply-terms-same-args '(f g (lambda (x) (cons x x))) '(a))
  '((f a) (g a) (cons a a)))
other
(assert-equal (apply-terms-same-args '((lambda (x y) (* (1+ x) (1- y))) hh)
    '(a b))
  '((* (1+ a) (1- b)) (hh a b)))