smtLib-1.0.8: 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