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 |