A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
Z
%
*
+
/
<
=
>
@
-
~
All

Index - S

S
1 (Data Constructor)	Data.Type.Natural
2 (Type/Class)	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
sAbs	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin
SameKind	Data.Type.Natural
SameKindSym0	Data.Type.Natural
SameKindSym1	Data.Type.Natural
SameKindSym2	Data.Type.Natural
sCompare	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin
sComparing	Data.Type.Natural.Builtin
sEight	Data.Type.Natural
sEighteen	Data.Type.Natural
sEleven	Data.Type.Natural
SEQ	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin
SEq	Data.Type.Natural.Builtin
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
sFlipOrdering	Data.Type.Natural.Class.Order, Data.Type.Natural.Class
sFour	Data.Type.Natural
sFourteen	Data.Type.Natural
sFromInteger	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin
sFromPeano	Data.Type.Natural.Builtin
SGT	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin
Signum	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin
SignumSym0	Data.Type.Natural.Builtin
SignumSym1	Data.Type.Natural.Builtin
Sing
1 (Type/Class)	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
2 (Data Constructor)	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 (Data Constructor)	Data.Type.Natural
2 (Type/Class)	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
SLambda2	Data.Type.Natural
SLambda3	Data.Type.Natural
SLambda4	Data.Type.Natural
SLambda5	Data.Type.Natural
SLambda6	Data.Type.Natural
SLambda7	Data.Type.Natural
SLambda8	Data.Type.Natural
sLeqCong	Data.Type.Natural.Class.Order, Data.Type.Natural.Class
sLeqCongL	Data.Type.Natural.Class.Order, Data.Type.Natural.Class
sLeqCongR	Data.Type.Natural.Class.Order, Data.Type.Natural.Class
sLeqReflexive	Data.Type.Natural
SLT	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin
sMax	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
sMin	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
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
1 (Function)	Data.Type.Natural
2 (Function)	Data.Type.Natural.Builtin
sNatToInt	Data.Type.Natural
sNatToOrd
1 (Function)	Data.Type.Ordinal
2 (Function)	Data.Type.Ordinal.Builtin
3 (Function)	Data.Type.Ordinal.Peano
sNatToOrd'
1 (Function)	Data.Type.Ordinal
2 (Function)	Data.Type.Ordinal.Builtin
3 (Function)	Data.Type.Ordinal.Peano
sNegate	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin
snEqZAbsurd	Data.Type.Natural
sNine	Data.Type.Natural
sNineteen	Data.Type.Natural
SNum	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin
SomeSing
1 (Data Constructor)	Data.Type.Natural
2 (Type/Class)	Data.Type.Natural
sOne
1 (Function)	Data.Type.Natural
2 (Function)	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
SOrd	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural.Builtin
sPred'	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
SS	Data.Type.Natural
sSeven	Data.Type.Natural
sSeventeen	Data.Type.Natural
sSignum	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural.Builtin
sSix	Data.Type.Natural
sSixteen	Data.Type.Natural
sSubtract	Data.Type.Natural.Builtin
SSym0	Data.Type.Natural
SSym1	Data.Type.Natural
sTen	Data.Type.Natural
sThenCmp	Data.Type.Natural.Builtin
sThirteen	Data.Type.Natural
sThree	Data.Type.Natural
sToPeano	Data.Type.Natural.Builtin
sTwelve	Data.Type.Natural
sTwenty	Data.Type.Natural
sTwo	Data.Type.Natural
Subtract	Data.Type.Natural.Builtin
SubtractSym0	Data.Type.Natural.Builtin
SubtractSym1	Data.Type.Natural.Builtin
SubtractSym2	Data.Type.Natural.Builtin
Succ	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
succAndPlusOneL	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succAndPlusOneR	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succCong	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class
succInj	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succInj'	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succLeqAbsurd	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succLeqAbsurd'	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
SuccLeqSucc	Data.Type.Natural
succLeqToLT	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succLeqZeroAbsurd	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succLeqZeroAbsurd'	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succLneqSucc	Data.Type.Natural.Class.Order, Data.Type.Natural.Class, Data.Type.Natural
succNonCyclic	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succOneCong	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
succPred	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin
SZ	Data.Type.Natural
sZero
1 (Function)	Data.Type.Natural
2 (Function)	Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class