| s2n | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| Sat | Unbound.LocallyNameless |
| SetBind | Unbound.LocallyNameless.Types |
| setbind | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| setbindAny | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| SetPlusBind | Unbound.LocallyNameless.Types |
| Shift | |
| 1 (Type/Class) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| ShowD | Unbound.LocallyNameless |
| showsPrecR1 | Unbound.LocallyNameless |
| Shrink | Unbound.LocallyNameless |
| shrink | Unbound.LocallyNameless |
| ShrinkD | |
| 1 (Data Constructor) | Unbound.LocallyNameless |
| 2 (Type/Class) | Unbound.LocallyNameless |
| shrinkD | Unbound.LocallyNameless |
| single | Unbound.PermM, Unbound.LocallyNameless |
| singleton | Unbound.Util, Unbound.LocallyNameless |
| something | Unbound.LocallyNameless |
| Spine | Unbound.LocallyNameless |
| strength | Unbound.LocallyNameless.Ops |
| string2Name | Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless |
| Subst | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| subst | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| SubstCoerce | |
| 1 (Type/Class) | Unbound.LocallyNameless.Subst |
| 2 (Data Constructor) | Unbound.LocallyNameless.Subst |
| SubstD | |
| 1 (Type/Class) | Unbound.LocallyNameless.Subst |
| 2 (Data Constructor) | Unbound.LocallyNameless.Subst |
| substD | Unbound.LocallyNameless.Subst |
| substDefault | Unbound.LocallyNameless.Subst |
| SubstName | |
| 1 (Type/Class) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| 2 (Data Constructor) | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| substR1 | Unbound.LocallyNameless.Subst |
| substs | Unbound.LocallyNameless.Subst, Unbound.LocallyNameless |
| substsD | Unbound.LocallyNameless.Subst |
| substsR1 | Unbound.LocallyNameless.Subst |
| subtrees | Unbound.LocallyNameless |
| support | Unbound.PermM, Unbound.LocallyNameless |
| swaps | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swaps' | Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless |
| swapsBinders | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swapsD | Unbound.LocallyNameless.Alpha |
| swapsEmbeds | Unbound.LocallyNameless.Ops, Unbound.LocallyNameless |
| swapsR1 | Unbound.LocallyNameless.Alpha |
| synthesize | Unbound.LocallyNameless |