((/nonstd/ihs/@logops.lisp::@integerp (nil nil nil (or) nil nil nil) (nil nil (integerp) nil nil (and) nil) ((@) nil (consp integerp integerp not) nil nil nil nil) ((@) nil (@@d @@i) (=) nil nil nil) ((@ @) (0) (@@i) nil nil nil nil) ((@) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@bitp (nil nil nil (cond) nil nil nil) (nil nil ((integerp x) (@integerp x)) nil nil nil nil) (nil nil (bitp) (and) nil nil nil) ((x) nil (bitp bitp) nil nil nil nil) (nil nil (@@d @@i) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@bfix (nil nil nil nil nil (case) nil) ((x) nil (0 1 t) nil nil nil nil) ((*@x-bit*) (0 1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@+ (nil nil nil (cond) nil nil nil) (nil nil ((and (integerp i) (integerp j)) t) nil nil nil nil) ((*@x*) nil nil (+) nil nil nil) ((i j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@unary-- (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) ((*@x*) nil (-) nil nil nil nil) ((i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@* (nil nil nil (cond) nil nil nil) (nil nil ((and (integerp i) (integerp j)) t) nil nil nil nil) ((*@x*) nil nil (*) nil nil nil) ((i j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@unsigned-byte-p (nil nil nil nil (and) nil nil) (nil nil (@integerp) (unsigned-byte-p unsigned-byte-p) nil nil nil) ((i size size) nil (@d @i) nil nil nil nil) ((i i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@signed-byte-p (nil nil nil nil nil nil (and)) (nil nil (integerp @integerp) (< signed-byte-p signed-byte-p) nil nil nil) ((size size i size size) (0) (@d @i) nil nil nil nil) ((i i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::ash! (nil nil nil (floor) nil nil nil) (nil (1) nil (*) nil nil nil) ((i) nil nil (expt) nil nil nil) ((c) (2) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@ash (nil nil nil (cond) nil nil nil) (nil nil ((integerp count) t) nil nil nil nil) ((*@x*) nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil nil (ash! @cons) nil nil nil) ((i count) nil nil (ash! ash!) nil nil nil) ((count count) nil (@@d @@i) nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@ash (nil nil nil (cond) nil nil nil) (nil nil ((integerp count) t) nil nil nil nil) ((*@x*) nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil nil (ash @cons) nil nil nil) ((i count) nil nil (ash ash) nil nil nil) ((count count) nil (@@d @@i) nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@integer-length (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) ((*@x*) nil (integer-length) nil nil nil nil) ((i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logcount (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) ((*@x*) nil (logcount) nil nil nil nil) ((i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logcar (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil (logcar) (@cons) nil nil nil) ((i) nil (logcar logcar) nil nil nil nil) (nil nil (@@d @@i) nil nil nil nil) ((i i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@lognot (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil (lognot) (let*) nil nil nil) ((i) nil ((di (@d i))) (@cons) nil nil nil) ((ii) nil (ii) (lognor) nil nil nil) ((di ii) nil (@i) nil nil nil nil) ((i) nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logand (nil nil nil (cond) nil nil nil) (nil nil ((and (integerp i) (integerp j)) t) nil nil nil nil) (nil nil nil (logand let*) nil nil nil) ((i j) nil nil (@cons) nil nil ((di (@d i)))) ((dans ians) nil (ii dj ij ians dans) nil nil nil nil) (nil nil (@i @d @i) (logior logandc2) nil nil nil) ((i j j ians) nil nil (logand logand logand) nil nil nil)) (/nonstd/ihs/@logops.lisp::@logior (nil nil nil (cond) nil nil nil) (nil nil ((and (integerp i) (integerp j)) t) nil nil nil nil) (nil nil nil (logior let*) nil nil nil) ((i j) nil nil (@cons) nil nil ((di (@d i)))) ((dans ians) nil (ii dj ij ians dans) nil nil nil nil) (nil nil (@i @d @i) (logior logandc2) nil nil nil) ((i j j ians) nil nil (logand logandc1 logior) nil nil nil)) (/nonstd/ihs/@logops.lisp::@t-wire (nil nil nil (let*) nil nil nil) (nil nil nil (@cons) nil nil ((di (@d i)))) ((dans ians) nil (ii dj ij ians dans) nil nil nil nil) (nil nil (@i @d @i) (logior logand) nil nil nil) ((i j j di dj) nil nil (logand logior) nil nil nil) ((ii) nil nil (logorc1 logandc2 logandc1) nil nil nil) ((di ij ij dj ii) nil nil (logandc1) nil nil nil)) (/nonstd/ihs/@logops.lisp::@logandc1 (nil nil nil (@logand) nil nil nil) ((j) nil (@lognot) nil nil nil nil) ((i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logandc2 (nil nil nil (@logand) nil nil nil) ((i) nil (@lognot) nil nil nil nil) ((j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@lognand (nil nil (@lognot) nil nil nil nil) (nil nil nil (@logand) nil nil nil) ((i j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@lognor (nil nil (@lognot) nil nil nil nil) (nil nil nil (@logior) nil nil nil) ((i j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logorc1 (nil nil nil (@logior) nil nil nil) ((j) nil (@lognot) nil nil nil nil) ((i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logorc2 (nil nil nil (@logior) nil nil nil) ((i) nil (@lognot) nil nil nil nil) ((j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logeqv (nil nil nil (@logand) nil nil nil) (nil nil nil (@logorc1 @logorc1) nil nil nil) ((i j j i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logxor (nil nil (@lognot) nil nil nil nil) (nil nil nil (@logeqv) nil nil nil) ((i j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-not (nil nil nil nil nil (case) nil) ((i) nil (0 1 t) nil nil nil nil) ((*@x-bit*) (1 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-and (nil nil nil nil nil (or) nil) ((*@x-bit*) nil nil (and and) (and) nil nil) (nil (0 0 1) nil (equal equal equal equal) nil nil nil) ((i j i j) (0 0 1 1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-ior (nil nil nil nil nil (or) nil) ((*@x-bit*) nil nil (and and) (and) nil nil) (nil (1 1 0) nil (equal equal equal equal) nil nil nil) ((i j i j) (1 1 0 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-xor (nil nil nil (or) nil nil nil) ((*@x-bit*) nil nil nil (and) nil nil) (nil nil (bitp bitp) (b-xor) nil nil nil) ((i j i j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-eqv (nil nil nil (or) nil nil nil) ((*@x-bit*) nil nil nil (and) nil nil) (nil nil (bitp bitp) (b-eqv) nil nil nil) ((i j i j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-nand (nil nil nil nil nil (or) nil) ((*@x-bit*) nil nil (and and) (and) nil nil) (nil (1 1 0) nil (equal equal equal equal) nil nil nil) ((i j i j) (0 0 1 1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-nor (nil nil nil nil nil (or) nil) ((*@x-bit*) nil nil (and and) (and) nil nil) (nil (0 0 1) nil (equal equal equal equal) nil nil nil) ((i j i j) (1 1 0 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-andc1 (nil nil nil nil nil (or) nil) ((*@x-bit*) nil nil (and and) (and) nil nil) (nil (0 0 1) nil (equal equal equal equal) nil nil nil) ((i j i j) (1 0 0 1) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-andc2 (nil nil nil (@b-andc1) nil nil nil) ((j i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-orc1 (nil nil nil nil nil (or) nil) ((*@x-bit*) nil nil (and and) (and) nil nil) (nil (1 1 0) nil (equal equal equal equal) nil nil nil) ((i j i j) (0 1 1 0) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@b-orc2 (nil nil nil (@b-orc1) nil nil nil) ((j i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@loghead (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil nil (loghead @cons) nil nil nil) ((size i) nil nil (loghead loghead) nil nil nil) ((size size) nil (@@d @@i) nil nil nil nil) ((i i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logtail (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil nil (logtail @cons) nil nil nil) ((size i) nil nil (logtail logtail) nil nil nil) ((size size) nil (@@d @@i) nil nil nil nil) ((i i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logext (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil nil (logext @cons) nil nil nil) ((size i) nil nil (logext logext) nil nil nil) ((size size) nil (@@d @@i) nil nil nil nil) ((i i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logsat (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) ((*@x*) nil nil (logsat) nil nil nil) ((size i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logapp (nil nil nil (cond) nil nil nil) (nil nil ((and (integerp i) (integerp j)) t) nil nil nil nil) (nil nil nil (@cons) (logapp) nil nil) ((size i j) nil nil nil (logapp logapp) nil nil) ((size size) nil (@d @d @i @i) nil nil nil nil) ((i j i j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logbit (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil nil (logbit @cons) nil nil nil) ((pos i) nil nil (logbit logbit) nil nil nil) ((pos pos) nil (@@d @@i) nil nil nil nil) ((i i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@logrev (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil nil (logrev @cons) nil nil nil) ((size i) nil nil (logrev logrev) nil nil nil) ((size size) nil (@@d @@i) nil nil nil nil) ((i i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@rdb (nil nil nil (cond) nil nil nil) (nil nil ((integerp i) t) nil nil nil nil) (nil nil nil (rdb @cons) nil nil nil) ((bsp i) nil nil (rdb rdb) nil nil nil) ((bsp bsp) nil (@@d @@i) nil nil nil nil) ((i i) nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/nonstd/ihs/@logops.lisp::@wrb (nil nil nil (@cons) nil nil nil) (nil nil nil nil (wrb wrb) nil nil) ((bsp bsp) nil (@d @d @i @i) nil nil nil nil) ((i j i j) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))