SMTLib2.Int

Documentation

tInt :: Type

num :: Integral a => a -> Expr

nNeg :: Expr -> Expr

nSub :: Expr -> Expr -> Expr

nAdd :: Expr -> Expr -> Expr

nMul :: Expr -> Expr -> Expr

nDiv :: Expr -> Expr -> Expr

nMod :: Expr -> Expr -> Expr

nAbs :: Expr -> Expr

nLeq :: Expr -> Expr -> Expr

nLt :: Expr -> Expr -> Expr

nGeq :: Expr -> Expr -> Expr

nGt :: Expr -> Expr -> Expr