Index - S
| samePeanoGreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| sequenceListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| setAllOf | Data.Type.Witness.Specific.All, Data.Type.Witness |
| singleAllOf | Data.Type.Witness.Specific.Single, Data.Type.Witness |
| SingleType | Data.Type.Witness.Specific.Single, Data.Type.Witness |
| Some | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| SomeFor | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| someForToSome | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| SomeOf | Data.Type.Witness.Specific.Some, Data.Type.Witness |
| someToValue | Data.Type.Witness.General.WitnessValue, Data.Type.Witness |
| splitSomeOfList | Data.Type.Witness.Specific.All, Data.Type.Witness |
| Subrepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| subtractFromPeanoNat | Data.PeanoNat, Data.Type.Witness |
| Succ | Data.PeanoNat, Data.Type.Witness |
| succAddPeanoNatTypeEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| succAddPeanoNatTypeEqual' | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| SuccGreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| succNaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| SuccType | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| sym | Data.Type.Witness |
| Symbol | Data.Type.Witness.Specific.Symbol, Data.Type.Witness |
| SymbolType | Data.Type.Witness.Specific.Symbol, Data.Type.Witness |