other
(in-package "BITSETS")
other
(include-book "sbitsets")
other
(include-book "std/testing/assert-bang" :dir :system)
other
(assert! (sbitsetp (sbitset-union)))
other
(assert! (sbitsetp (sbitset-intersect)))
(in-package "BITSETS")
(include-book "sbitsets")
(include-book "std/testing/assert-bang" :dir :system)
(assert! (sbitsetp (sbitset-union)))
(assert! (sbitsetp (sbitset-intersect)))