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

Safe Haskell | Safe
Language | Haskell98

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 #