smtLib-1.0.7: A library for working with the SMTLIB format.
SMTLib2.Array
tArray :: Type -> Type -> TypeSource
select :: Expr -> Expr -> ExprSource
store :: Expr -> Expr -> Expr -> ExprSource