Safe Haskell | Safe |
---|---|
Language | Haskell98 |
SMTLib2.BitVector
Documentation
zero_extend :: Integer -> Expr -> Expr Source #
sign_extend :: Integer -> Expr -> Expr Source #
rotate_left :: Integer -> Expr -> Expr Source #
rotate_right :: Integer -> Expr -> Expr Source #