Index - S
| S | |
| 1 (Type/Class) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 2 (Data Constructor) | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| 3 (Data Constructor) | KleenePlugin.Types |
| SCons | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| simplifyRE | KleenePlugin.Types |
| SList | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| SListI | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| slistI | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| SNil | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| sourcePlugin | KleenePlugin.SourcePlugin |
| split | Kleene.Type, Kleene.Type.Examples.KleeneSH |
| starLemma | KleenePlugin.Matching |
| Sum | Kleene.Type.Examples |
| SWT | |
| 1 (Type/Class) | KleenePlugin.SWT |
| 2 (Data Constructor) | KleenePlugin.SWT |
| synProof | KleenePlugin.Synthesis |
| synReType | KleenePlugin.Synthesis |
| synSList | KleenePlugin.Synthesis |
| synStrType | KleenePlugin.Synthesis |