Filtering...

apply-term-tests

books/std/system/apply-term-tests

Included Books

apply-term assert-equal
other
(in-package "ACL2")
include-book
(include-book "apply-term")
include-book
(include-book "std/testing/assert-equal" :dir :system)
other
(assert-equal (apply-term 'f '('4 y)) '(f '4 y))
other
(assert-equal (apply-term '(lambda (x y) (* (1+ x) (1- y))) '(a b))
  '(* (1+ a) (1- b)))
other
(assert-equal (apply-term* 'f ''4 'y) '(f '4 y))
other
(assert-equal (apply-term* '(lambda (x y) (* (1+ x) (1- y))) 'a 'b)
  '(* (1+ a) (1- b)))