smtLib-1.0.9: A library for working with the SMTLIB format.

Safe HaskellSafe
LanguageHaskell98

SMTLib2.Int

Documentation

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 #