Index - S
| S | Data.Type.Natural |
| sAndPlusOne | Data.Type.Natural |
| sEight | Data.Type.Natural |
| sEighteen | Data.Type.Natural |
| sEleven | Data.Type.Natural |
| Seven | Data.Type.Natural |
| seven | Data.Type.Natural |
| SevenSym0 | Data.Type.Natural |
| Seventeen | Data.Type.Natural |
| seventeen | Data.Type.Natural |
| SeventeenSym0 | Data.Type.Natural |
| sFifteen | Data.Type.Natural |
| sFive | Data.Type.Natural |
| sFour | Data.Type.Natural |
| sFourteen | Data.Type.Natural |
| Sing | Data.Type.Natural |
| sing | Data.Type.Natural |
| singByProxy | Data.Type.Natural |
| singByProxy# | Data.Type.Natural |
| singFun1 | Data.Type.Natural |
| singFun2 | Data.Type.Natural |
| singFun3 | Data.Type.Natural |
| singFun4 | Data.Type.Natural |
| singFun5 | Data.Type.Natural |
| singFun6 | Data.Type.Natural |
| singFun7 | Data.Type.Natural |
| singFun8 | Data.Type.Natural |
| SingFunction1 | Data.Type.Natural |
| SingFunction2 | Data.Type.Natural |
| SingFunction3 | Data.Type.Natural |
| SingFunction4 | Data.Type.Natural |
| SingFunction5 | Data.Type.Natural |
| SingFunction6 | Data.Type.Natural |
| SingFunction7 | Data.Type.Natural |
| SingFunction8 | Data.Type.Natural |
| SingI | Data.Type.Natural |
| SingInstance | |
| 1 (Type/Class) | Data.Type.Natural |
| 2 (Data Constructor) | Data.Type.Natural |
| singInstance | Data.Type.Natural |
| SingKind | Data.Type.Natural |
| singThat | Data.Type.Natural |
| Six | Data.Type.Natural |
| six | Data.Type.Natural |
| SixSym0 | Data.Type.Natural |
| Sixteen | Data.Type.Natural |
| sixteen | Data.Type.Natural |
| SixteenSym0 | Data.Type.Natural |
| SLambda | Data.Type.Natural |
| sMax | Data.Type.Natural |
| sMin | Data.Type.Natural |
| sN0 | Data.Type.Natural |
| sN1 | Data.Type.Natural |
| sN10 | Data.Type.Natural |
| sN11 | Data.Type.Natural |
| sN12 | Data.Type.Natural |
| sN13 | Data.Type.Natural |
| sN14 | Data.Type.Natural |
| sN15 | Data.Type.Natural |
| sN16 | Data.Type.Natural |
| sN17 | Data.Type.Natural |
| sN18 | Data.Type.Natural |
| sN19 | Data.Type.Natural |
| sN2 | Data.Type.Natural |
| sN20 | Data.Type.Natural |
| sN3 | Data.Type.Natural |
| sN4 | Data.Type.Natural |
| sN5 | Data.Type.Natural |
| sN6 | Data.Type.Natural |
| sN7 | Data.Type.Natural |
| sN8 | Data.Type.Natural |
| sN9 | Data.Type.Natural |
| SNat | Data.Type.Natural |
| snat | Data.Type.Natural |
| sNatToInt | Data.Type.Natural |
| sNatToOrd | Data.Type.Ordinal |
| sNatToOrd' | Data.Type.Ordinal |
| snEqZAbsurd | Data.Type.Natural |
| sNine | Data.Type.Natural |
| sNineteen | Data.Type.Natural |
| SomeSing | |
| 1 (Type/Class) | Data.Type.Natural |
| 2 (Data Constructor) | Data.Type.Natural |
| sOne | Data.Type.Natural |
| SS | Data.Type.Natural |
| sS | Data.Type.Natural |
| sSeven | Data.Type.Natural |
| sSeventeen | Data.Type.Natural |
| sSix | Data.Type.Natural |
| sSixteen | Data.Type.Natural |
| SSym0 | Data.Type.Natural |
| SSym1 | Data.Type.Natural |
| sTen | Data.Type.Natural |
| sThirteen | Data.Type.Natural |
| sThree | Data.Type.Natural |
| sTwelve | Data.Type.Natural |
| sTwenty | Data.Type.Natural |
| sTwo | Data.Type.Natural |
| succCongEq | Data.Type.Natural |
| succInjective | Data.Type.Natural |
| SuccLeqSucc | Data.Type.Natural |
| succPlusL | Data.Type.Natural |
| succPlusR | Data.Type.Natural |
| SZ | Data.Type.Natural |
| sZ | Data.Type.Natural |
| sZero | Data.Type.Natural |