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

Safe HaskellSafe
LanguageHaskell98

SMTLib2.Array

Documentation

tArray :: Type -> Type -> Type Source #

select :: Expr -> Expr -> Expr Source #

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