SMTLib2.Array
tArray :: Type -> Type -> Type Source #
select :: Expr -> Expr -> Expr Source #
store :: Expr -> Expr -> Expr -> Expr Source #