-- | SMT2-Lib Syntax
module
SSTG
.
Core
.
SMT
.
Syntax
(
SMTExpr
(
..
)
)
where
data
SMTExpr
=
SMTEXPR