Index - S
| scGetPathTrie | Data.ECTA.Internal.ECTA.Enumeration |
| scGetUVar | Data.ECTA.Internal.ECTA.Enumeration |
| setChildren | Data.ECTA.Internal.ECTA.Type |
| smallestNonempty | Data.ECTA.Internal.Paths |
| speciallyTreatedFunctions | Application.TermSearch.Dataset |
| substFree | Data.ECTA.Internal.ECTA.Type |
| substSubpath | Data.ECTA.Internal.Paths |
| substTerm | Application.TermSearch.TermSearch |
| subsumptionOrderedEclasses | Data.ECTA.Internal.Paths, Data.ECTA.Paths |
| SuspendedConstraint | |
| 1 (Type/Class) | Data.ECTA.Internal.ECTA.Enumeration |
| 2 (Data Constructor) | Data.ECTA.Internal.ECTA.Enumeration |
| Symbol | |
| 1 (Type/Class) | Data.ECTA.Internal.Term, Data.ECTA.Term |
| 2 (Data Constructor) | Data.ECTA.Internal.Term, Data.ECTA.Term |
| Symbol' | Data.ECTA.Internal.Term |