| S | Language.SMTLib2.Internals.Type.Nat, Language.SMTLib2 |
| Same | Language.SMTLib2.Internals.Interface |
| Sat | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| Select | |
| 1 (Data Constructor) | Language.SMTLib2.Internals.Expression |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| select | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| select1 | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| setOption | |
| 1 (Function) | Language.SMTLib2.Internals.Backend |
| 2 (Function) | Language.SMTLib2 |
| showBitVec | Language.SMTLib2.Internals.Type |
| showsBackendExpr | Language.SMTLib2.Internals.Backend |
| Signature | Language.SMTLib2.Internals.Type |
| signature | Language.SMTLib2.Internals.Type |
| simplify | |
| 1 (Function) | Language.SMTLib2.Internals.Backend |
| 2 (Function) | Language.SMTLib2 |
| Singleton | Language.SMTLib2.Internals.Type.Struct |
| Size | |
| 1 (Data Constructor) | Language.SMTLib2.Strategy |
| 2 (Type/Class) | Language.SMTLib2.Internals.Type.Struct |
| size | Language.SMTLib2.Internals.Type.Struct |
| Skip | Language.SMTLib2.Strategy |
| SMT | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Monad, Language.SMTLib2 |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Monad |
| SMTAction | Language.SMTLib2.Internals.Backend |
| SMTArith | Language.SMTLib2.Internals.Expression |
| SMTExpr | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Embed |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Embed |
| SMTInfo | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| SMTLogic | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| SMTMonad | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| SMTOption | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| SMTOrd | Language.SMTLib2.Internals.Expression |
| SMTQuant | Language.SMTLib2.Internals.Embed |
| SMTRendering | Language.SMTLib2.Internals.Expression |
| SMTSolverName | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| SMTSolverVersion | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| SMTState | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Monad |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Monad |
| Snd | Language.SMTLib2.Internals.Type |
| stack | Language.SMTLib2 |
| Store | |
| 1 (Data Constructor) | Language.SMTLib2.Internals.Expression |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| store | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| store1 | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| StripPrefix | Language.SMTLib2.Internals.Type.List |
| stripPrefix | Language.SMTLib2.Internals.Type.List |
| Struct | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Type.Struct |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Type.Struct |
| Succ | Language.SMTLib2.Internals.Type.Nat, Language.SMTLib2 |