other
(in-package "ACL2")
include-book
(include-book "1d-arr")
include-book
(include-book "2d-arr")
include-book
(include-book "../clone")
include-book
(include-book "../bitarr")
other
(defstobj-clone bitarr2 bitarr :suffix "2")
other
(defstobj-clone fancy-bitarr bitarr :strsubst (("GET" . "FETCH") ("SET" . "INSTALL")) :prefix "MY-" :suffix "-FOR-JUSTICE" :pkg rewrite)
other
(defstobj-clone xx-bitarr bitarr :exports (xx-size xx-nth xx-update-nth xx-resize))