Language.SMTLib2.Internals.Monad
data SMT b a
data SMTState b
withBackend
withBackendExitCleanly
liftSMT
embedSMT
embedSMT'
registerDatatype
defineVar'
defineVarNamed'
declareVar'
declareVarNamed'