S | Type.Family.Nat |
Snd | Type.Family.Pair |
Some | |
1 (Type/Class) | Data.Type.Quantifier |
2 (Data Constructor) | Data.Type.Quantifier |
some | Data.Type.Quantifier |
Some2 | |
1 (Type/Class) | Data.Type.Quantifier |
2 (Data Constructor) | Data.Type.Quantifier |
SS | |
1 (Type/Class) | Data.Type.Combinator |
2 (Data Constructor) | Data.Type.Combinator |
Sub | Type.Class.Witness |
Sum | Data.Type.Sum |
SumF | Data.Type.Sum |
sym | Type.Class.Witness |
symm | Type.Class.Witness |
Symmetric | Type.Class.Witness |
S_ | Data.Type.Nat |