Filtering...

pure-raw-p-tests

books/std/system/pure-raw-p-tests

Included Books

pure-raw-p assert-bang
other
(in-package "ACL2")
include-book
(include-book "pure-raw-p")
include-book
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (pure-raw-p 'len))
other
(assert! (pure-raw-p 'abs))
other
(assert! (pure-raw-p 'take))
other
(assert! (not (pure-raw-p 'cons)))
other
(assert! (not (pure-raw-p 'fmt-to-comment-window)))