smtLib-1.1: 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 #