smtLib-1.1: A library for working with the SMTLIB format.
Safe HaskellSafe
LanguageHaskell98

SMTLib2.BitVector

Documentation

tBitVec :: Integer -> Type Source #

bv :: Integer -> Integer -> Expr Source #

extract :: Integer -> Integer -> Expr -> Expr Source #

repeat :: Integer -> Expr -> Expr -> Expr Source #

zero_extend :: Integer -> Expr -> Expr Source #

sign_extend :: Integer -> Expr -> Expr Source #

rotate_left :: Integer -> Expr -> Expr Source #

rotate_right :: Integer -> Expr -> Expr Source #