Filtering...

bitarr

books/std/stobjs/bitarr

Included Books

1d-arr arith-equivs bits-equiv
other
(in-package "ACL2")
include-book
(include-book "1d-arr")
include-book
(include-book "std/basic/arith-equivs" :dir :system)
include-book
(include-book "std/lists/bits-equiv" :dir :system)
other
(def-1d-arr bitarr
  :slotname bit
  :pred bitp
  :fix bfix
  :type-decl bit
  :default-val 0
  :parents (std/stobjs))