SMTLib2.BitVector

tBitVec

bv

concat

extract

bvnot

bvand

bvor

bvneg

bvadd

bvmul

bvudiv

bvurem

bvshl

bvlshr

bvult

bvnand

bvnor

bvxor

bvxnor

bvcomp

bvsub

bvsdiv

bvsrem

bvsmod

bvashr

repeat

zero_extend

sign_extend

rotate_left

rotate_right

bvule

bvugt

bvuge

bvslt

bvsle

bvsgt

bvsge