| same | Text.Dot |
| Saturate | Scyther.Proof |
| saturate | Scyther.Sequent |
| saturateFacts | Scyther.Facts |
| scanFile | Scyther.Theory.Parser |
| scanIdent | Scyther.Theory.Lexer |
| scanString | Scyther.Theory.Parser |
| scope | Text.Dot |
| seConcl | Scyther.Sequent |
| second | Control.Basics |
| semi | Text.PrettyPrint.Class, Text.Isar |
| Send | Scyther.Protocol, Scyther.Facts |
| sep | Text.PrettyPrint.Class, Text.Isar |
| sePrem | Scyther.Sequent |
| seProto | Scyther.Sequent |
| sequence | Control.Basics |
| sequence_ | Control.Basics |
| Sequent | |
| 1 (Type/Class) | Scyther.Sequent |
| 2 (Data Constructor) | Scyther.Sequent |
| setAlignment | Data.Table |
| setCell | Data.Table |
| setTyping | Scyther.Facts |
| share | Text.Dot |
| SHARP | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| shortestProof | Scyther.Proof |
| showDot | Text.Dot |
| shrinkTheory | Scyther.Theory |
| singleQuoted | Scyther.Theory.Parser |
| singleton | Extension.Prelude |
| size | Data.UnionFind |
| skip | Scyther.Theory.Lexer |
| SlimOutput | |
| 1 (Type/Class) | Scyther.Theory.Pretty |
| 2 (Data Constructor) | Scyther.Theory.Pretty |
| solve | Scyther.Equalities |
| some | Control.Basics |
| sortednub | Extension.Prelude |
| sortednubOn | Extension.Prelude |
| sortOn | Extension.Prelude |
| sortOnMemo | Extension.Prelude |
| sortPair | Extension.Prelude |
| sound | Scyther.Proof |
| space | Text.PrettyPrint.Class, Text.Isar |
| splitBy | Extension.Prelude |
| SplitEq | Scyther.Proof |
| splitEq | Scyther.Sequent |
| splitEqFacts | Scyther.Facts |
| splitNonTrivial | Scyther.Message, Scyther.Facts |
| splitpatterns | Scyther.Protocol, Scyther.Facts |
| splittableEqs | Scyther.Facts |
| sptAgentId | Scyther.Message, Scyther.Facts |
| sptAnyEq | Scyther.Equalities |
| sptAtom | Scyther.Formula, Scyther.Facts |
| sptAVar | Scyther.Message, Scyther.Facts |
| sptEvent | Scyther.Event, Scyther.Facts |
| sptEventOrd | Scyther.Event, Scyther.Facts |
| sptFacts | Scyther.Facts |
| sptFormula | Scyther.Formula, Scyther.Facts |
| sptFresh | Scyther.Message, Scyther.Facts |
| sptId | Scyther.Protocol, Scyther.Facts |
| sptLabel | Scyther.Protocol, Scyther.Facts |
| sptMessage | Scyther.Message, Scyther.Facts |
| sptMVar | Scyther.Message, Scyther.Facts |
| sptOptType | Scyther.Typing, Scyther.Facts |
| sptPattern | Scyther.Protocol, Scyther.Facts |
| sptProtocol | Scyther.Protocol, Scyther.Facts |
| sptProtoIllformedness | Scyther.Protocol, Scyther.Facts |
| sptRawEvent | Scyther.Event, Scyther.Facts |
| sptRole | Scyther.Protocol, Scyther.Facts |
| sptRoleStep | Scyther.Protocol, Scyther.Facts |
| sptTID | Scyther.Message, Scyther.Facts |
| sptType | Scyther.Typing, Scyther.Facts |
| sptTyping | Scyther.Typing, Scyther.Facts |
| SQUOTE | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| STAR | Scyther.Theory.Lexer, Scyther.Theory.Parser |
| stateLocale | Scyther.Protocol, Scyther.Facts |
| Step | Scyther.Event, Scyther.Facts |
| stepFAV | Scyther.Protocol, Scyther.Facts |
| stepFMV | Scyther.Protocol, Scyther.Facts |
| stepLabel | Scyther.Protocol, Scyther.Facts |
| stepPat | Scyther.Protocol, Scyther.Facts |
| string | Scyther.Theory.Parser |
| strings | Scyther.Theory.Parser |
| Style | |
| 1 (Type/Class) | Text.PrettyPrint.Class, Text.Isar |
| 2 (Data Constructor) | Text.PrettyPrint.Class, Text.Isar |
| style | Text.PrettyPrint.Class, Text.Isar |
| submessages | Scyther.Message, Scyther.Facts |
| subpatterns | Scyther.Protocol, Scyther.Facts |
| substAgentEqRHS | Scyther.Equalities |
| substAgentId | Scyther.Equalities |
| substAnyEq | Scyther.Equalities |
| substAtom | Scyther.Formula |
| substAVar | Scyther.Equalities |
| substEv | |
| 1 (Function) | Scyther.Event |
| 2 (Function) | Scyther.Facts |
| substEvOrd | Scyther.Event |
| substLocalId | Scyther.Equalities |
| substMsg | Scyther.Equalities |
| substMVar | Scyther.Equalities |
| substTID | Scyther.Equalities |
| SumT | Scyther.Typing, Scyther.Facts |
| swap | Extension.Prelude |
| symbol | Text.Isar |
| SymKT | Scyther.Typing, Scyther.Facts |