Safe Haskell | Safe |
---|---|
Language | Haskell98 |
SMTLib2.BitVector
Documentation
zero_extend :: Integer -> Expr -> Expr #
sign_extend :: Integer -> Expr -> Expr #
rotate_left :: Integer -> Expr -> Expr #
rotate_right :: Integer -> Expr -> Expr #
smtLib-1.0.9: A library for working with the SMTLIB format.
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
SMTLib2.BitVector
zero_extend :: Integer -> Expr -> Expr #
sign_extend :: Integer -> Expr -> Expr #
rotate_left :: Integer -> Expr -> Expr #
rotate_right :: Integer -> Expr -> Expr #