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

Safe HaskellSafe
LanguageHaskell98

SMTLib2.Int

Documentation

tInt :: Type Source

num :: Integral a => a -> Expr Source

nNeg :: Expr -> Expr Source

nSub :: Expr -> Expr -> Expr Source

nAdd :: Expr -> Expr -> Expr Source

nMul :: Expr -> Expr -> Expr Source

nDiv :: Expr -> Expr -> Expr Source

nMod :: Expr -> Expr -> Expr Source

nAbs :: Expr -> Expr Source

nLeq :: Expr -> Expr -> Expr Source

nLt :: Expr -> Expr -> Expr Source

nGeq :: Expr -> Expr -> Expr Source

nGt :: Expr -> Expr -> Expr Source