Index - T
| Ten | Data.Type.Natural |
| ten | Data.Type.Natural |
| TenSym0 | Data.Type.Natural |
| ThenCmp | Data.Type.Natural.Builtin |
| thenCmp | Data.Type.Natural.Builtin |
| ThenCmpSym0 | Data.Type.Natural.Builtin |
| ThenCmpSym1 | Data.Type.Natural.Builtin |
| ThenCmpSym2 | Data.Type.Natural.Builtin |
| Thirteen | Data.Type.Natural |
| thirteen | Data.Type.Natural |
| ThirteenSym0 | Data.Type.Natural |
| Three | Data.Type.Natural |
| three | Data.Type.Natural |
| ThreeSym0 | Data.Type.Natural |
| toFromPeano | Data.Type.Natural.Builtin |
| toNatural | Data.Type.Natural.Class.Arithmetic, Data.Type.Natural.Class, Data.Type.Natural, Data.Type.Natural.Builtin |
| ToPeano | Data.Type.Natural.Builtin |
| toPeanoInjective | Data.Type.Natural.Builtin |
| toPeanoMonotone | Data.Type.Natural.Builtin |
| toPeanoMultCong | Data.Type.Natural.Builtin |
| toPeanoOneCong | Data.Type.Natural.Builtin |
| toPeanoPlusCong | Data.Type.Natural.Builtin |
| toPeanoSuccCong | Data.Type.Natural.Builtin |
| toPeanoZeroCong | Data.Type.Natural.Builtin |
| toSing | Data.Type.Natural |
| truncMinusLeq | Data.Type.Natural.Class.Order, Data.Type.Natural.Class |
| Twelve | Data.Type.Natural |
| twelve | Data.Type.Natural |
| TwelveSym0 | Data.Type.Natural |
| Twenty | Data.Type.Natural |
| twenty | Data.Type.Natural |
| TwentySym0 | Data.Type.Natural |
| Two | Data.Type.Natural |
| two | Data.Type.Natural |
| TwoSym0 | Data.Type.Natural |
| TyCon | Data.Type.Natural |
| TyCon1 | Data.Type.Natural |
| TyCon2 | Data.Type.Natural |
| TyCon3 | Data.Type.Natural |
| TyCon4 | Data.Type.Natural |
| TyCon5 | Data.Type.Natural |
| TyCon6 | Data.Type.Natural |
| TyCon7 | Data.Type.Natural |
| TyCon8 | Data.Type.Natural |
| TyFun | Data.Type.Natural |