| SArraySort | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| Sat | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| SBoolSort | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| SBvSort | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| select | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| setLogic | Language.Hasmtlib.Type.MonadSMT, Language.Hasmtlib |
| setOption | Language.Hasmtlib.Type.MonadSMT, Language.Hasmtlib |
| SIntSort | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| SMT | |
| 1 (Type/Class) | Language.Hasmtlib.Type.SMT, Language.Hasmtlib |
| 2 (Data Constructor) | Language.Hasmtlib.Type.SMT, Language.Hasmtlib |
| smt | Language.Hasmtlib.Type.OMT, Language.Hasmtlib |
| smt2ModelParser | Language.Hasmtlib.Internal.Parser |
| smtIte | Language.Hasmtlib.Internal.Parser |
| SMTOption | Language.Hasmtlib.Type.Option, Language.Hasmtlib |
| smtPi | Language.Hasmtlib.Internal.Parser |
| SMTSort | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| SMTVar | |
| 1 (Type/Class) | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| 2 (Data Constructor) | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| smtvar | Language.Hasmtlib.Type.MonadSMT, Language.Hasmtlib |
| smtvar' | Language.Hasmtlib.Type.MonadSMT, Language.Hasmtlib |
| SMTVarSol | |
| 1 (Type/Class) | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| 2 (Data Constructor) | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| SoftFormula | |
| 1 (Type/Class) | Language.Hasmtlib.Type.OMT, Language.Hasmtlib |
| 2 (Data Constructor) | Language.Hasmtlib.Type.OMT, Language.Hasmtlib |
| softFormulas | Language.Hasmtlib.Type.OMT, Language.Hasmtlib |
| Solution | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| solVal | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| solVar | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| solve | Language.Hasmtlib.Type.MonadSMT, Language.Hasmtlib |
| solveMaximized | Language.Hasmtlib.Type.Solver, Language.Hasmtlib |
| solveMaximizedDebug | Language.Hasmtlib.Type.Solver, Language.Hasmtlib |
| solveMinimized | Language.Hasmtlib.Type.Solver, Language.Hasmtlib |
| solveMinimizedDebug | Language.Hasmtlib.Type.Solver, Language.Hasmtlib |
| Solver | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| solver | Language.Hasmtlib.Solver.Common, Language.Hasmtlib |
| solveWith | Language.Hasmtlib.Type.Solver, Language.Hasmtlib |
| SomeKnownOrdSMTSort | Language.Hasmtlib.Type.Solution, Language.Hasmtlib |
| SomeSMTSort | |
| 1 (Type/Class) | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| 2 (Data Constructor) | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| sortSing | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| sortSing' | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| SRealSort | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| SSMTSort | Language.Hasmtlib.Type.SMTSort, Language.Hasmtlib |
| store | Language.Hasmtlib.Type.Expr, Language.Hasmtlib |
| stored | Language.Hasmtlib.Type.ArrayMap, Language.Hasmtlib |