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

data SMTExpr = SMTEXPR