Index - S
| Sat | Data.RepLib.R1, Data.RepLib |
| ShowD | Data.RepLib.PreludeLib, Data.RepLib |
| showsPrecR1 | Data.RepLib.PreludeLib, Data.RepLib |
| Shrink | Data.RepLib.Lib, Data.RepLib |
| shrink | Data.RepLib.Lib, Data.RepLib |
| ShrinkD | |
| 1 (Type/Class) | Data.RepLib.Lib, Data.RepLib |
| 2 (Data Constructor) | Data.RepLib.Lib, Data.RepLib |
| shrinkD | Data.RepLib.Lib, Data.RepLib |
| solveUnification | Data.RepLib.Unify |
| solveUnification' | Data.RepLib.Unify |
| something | Data.RepLib.SYB.Schemes, Data.RepLib |
| Spine | Data.RepLib.RepAux, Data.RepLib |
| Subst | Data.RepLib.Unify |
| subst | Data.RepLib.Unify |
| substD | Data.RepLib.Unify |
| substR1 | Data.RepLib.Unify |
| subtrees | Data.RepLib.Lib, Data.RepLib |
| synthesize | Data.RepLib.SYB.Schemes, Data.RepLib |