smtLib-1.0.9: A library for working with the SMTLIB format.
SMTLib2.Array
tArray :: Type -> Type -> Type Source #
select :: Expr -> Expr -> Expr Source #
store :: Expr -> Expr -> Expr -> Expr Source #