type-settheory-0.1.3: Sets and functions-as-relations in the type system (Index - S)

type-settheory-0.1.3: Sets and functions-as-relations in the type system

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
:

Index - S

scoerce	Type.Set
Section
1 (Type/Class)	Type.Function
2 (Data Constructor)	Type.Function
section_CompoId	Type.Function
setCodToImage	Type.Function
SetEq	Type.Set
setEqRefl	Type.Set
setEqSym	Type.Set
setEqTrans	Type.Set
ShowType
1 (Type/Class)	Type.Set
2 (Data Constructor)	Type.Set
Singleton	Type.Set
singleton	Type.Set.Example
SMap
1 (Type/Class)	Type.Set.Example
2 (Data Constructor)	Type.Set.Example
Snd
1 (Type/Class)	Type.Function
2 (Data Constructor)	Type.Function
sndIsFun	Type.Function
sndPrf	Type.Set
snd_tupling	Type.Function
stringInExampleSet	Type.Set.Example
Subset
1 (Type/Class)	Type.Set
2 (Data Constructor)	Type.Set
subsetRefl	Type.Set
subsetTrans	Type.Set
Succ
1 (Type/Class)	Type.Nat
2 (Data Constructor)	Type.Nat
succFun	Type.Nat
Sval	Type.Function
sval	Type.Function
svalCoerce	Type.Function
svalCPS	Type.Function
svalCPS'	Type.Function