Safe Haskell | None |
---|---|
Language | Haskell98 |
This module contains the code for serializing Haskell values
into SMTLIB2 format, that is, the instances for the SMTLIB2
typeclass. We split it into a separate module as it depends on
Theories (see smt2App
).
Documentation
isSMTSymbol :: Symbol -> Bool Source
grapLambdas :: MonadState SMTSt m => Expr -> m (Expr, [(Symbol, Expr)]) Source
makeFunSymbol :: Expr -> Int -> Symbol Source
initSMTEnv :: SEnv Sort Source
makeApplies :: Int -> [(Symbol, Sort)] Source