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 |