Index - T
| testCompare | Data.Type.Witness.General.Order, Data.Type.Witness |
| TestEquality | Data.Type.Witness |
| testEquality | Data.Type.Witness |
| TestHetEquality | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| testHetEquality | Data.Type.Witness.General.TestHetEquality, Data.Type.Witness |
| TestOrder | Data.Type.Witness.General.Order, Data.Type.Witness |
| toListElementWitness | Data.Type.Witness.General.ListElement, Data.Type.Witness |
| trans | Data.Type.Witness |
| typeValue | Data.Type.Witness.General.Representative, Data.Type.Witness |