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

Safe HaskellSafe
LanguageHaskell98

SMTLib2.Array

Documentation

tArray :: Type -> Type -> Type #

select :: Expr -> Expr -> Expr #

store :: Expr -> Expr -> Expr -> Expr #