| Sat | Generics.RepLib.R1, Generics.RepLib |
| ShowD | Generics.RepLib.PreludeLib, Generics.RepLib |
| showsPrecR1 | Generics.RepLib.PreludeLib, Generics.RepLib |
| Shrink | Generics.RepLib.Lib, Generics.RepLib |
| shrink | Generics.RepLib.Lib, Generics.RepLib |
| ShrinkD | |
| 1 (Type/Class) | Generics.RepLib.Lib, Generics.RepLib |
| 2 (Data Constructor) | Generics.RepLib.Lib, Generics.RepLib |
| shrinkD | Generics.RepLib.Lib, Generics.RepLib |
| single | Generics.RepLib.Bind.PermM |
| solveUnification | Generics.RepLib.Unify |
| solveUnification' | Generics.RepLib.Unify |
| something | Generics.RepLib.SYB.Schemes, Generics.RepLib |
| Spine | Generics.RepLib.RepAux, Generics.RepLib |
| string2Name | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| Subst | |
| 1 (Type/Class) | Generics.RepLib.Unify |
| 2 (Type/Class) | Generics.RepLib.Bind.Nominal |
| 3 (Type/Class) | Generics.RepLib.Bind.LocallyNameless |
| subst | |
| 1 (Function) | Generics.RepLib.Unify |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| substD | Generics.RepLib.Unify |
| substR1 | Generics.RepLib.Unify |
| substs | Generics.RepLib.Bind.LocallyNameless |
| subtrees | Generics.RepLib.Lib, Generics.RepLib |
| support | Generics.RepLib.Bind.PermM |
| swapall' | Generics.RepLib.Bind.Nominal |
| swaps | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| swaps' | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| swapsAnnots | Generics.RepLib.Bind.LocallyNameless |
| swapsBinders | Generics.RepLib.Bind.LocallyNameless |
| synthesize | Generics.RepLib.SYB.Schemes, Generics.RepLib |