ash boole boole-1 boole-2 boole-and boole-andc1 boole-andc2 boole-c1 boole-c2 boole-clr boole-eqv boole-ior boole-nand boole-nor boole-orc1 boole-orc2 boole-set boole-xor integer-length logand logandc1 logandc2 logbitp logcount logeqv logior lognand lognor lognot logorc1 logorc2 logtest logxor