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

Safe Haskell	Safe

SMTLib2.Array

Documentation

tArray :: Type -> Type -> Type Source

select :: Expr -> Expr -> Expr Source

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