| ShowF | Data.Comp.Derive, Data.Comp.Show |
| showF | Data.Comp.Derive, Data.Comp.Show |
| shrink | Data.Comp.Derive |
| shrinkF | Data.Comp.Derive, Data.Comp.Arbitrary |
| SigFun | Data.Comp.Algebra, Data.Comp |
| SigFunM | Data.Comp.Algebra, Data.Comp |
| sigFunM | Data.Comp.Algebra, Data.Comp |
| SigFunM' | Data.Comp.Algebra, Data.Comp |
| simpCxt | Data.Comp.Term, Data.Comp |
| simpHCxt | Data.Comp.Multi.Term, Data.Comp.Multi |
| size | Data.Comp.Generic, Data.Comp |
| smartConstructors | Data.Comp.Derive |
| smartHConstructors | Data.Comp.Derive |
| Step | Data.Comp.TermRewriting |
| stripP | |
| 1 (Function) | Data.Comp.Multi.Product, Data.Comp.Multi |
| 2 (Function) | Data.Comp.Product, Data.Comp |
| structure | Data.Comp.Decompose |
| Subst | |
| 1 (Type/Class) | Data.Comp.Multi.Variables |
| 2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
| substAlg | Data.Comp.Multi.Variables |
| substHHoles | Data.Comp.Multi.Sum, Data.Comp.Multi |
| substHoles | Data.Comp.Sum, Data.Comp |
| substHoles' | Data.Comp.Sum, Data.Comp |
| SubstVars | Data.Comp.Multi.Variables |
| substVars | |
| 1 (Function) | Data.Comp.Multi.Variables |
| 2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
| subterms | Data.Comp.Generic, Data.Comp |
| subterms' | Data.Comp.Generic, Data.Comp |