Index - T
| Term | |
| 1 (Type/Class) | Data.Comp.Term, Data.Comp |
| 2 (Data Constructor) | Data.Comp.Term, Data.Comp |
| TermHom | Data.Comp.Algebra, Data.Comp |
| termHom | Data.Comp.Algebra, Data.Comp |
| termHom' | Data.Comp.Algebra, Data.Comp |
| TermHomM | Data.Comp.Algebra, Data.Comp |
| termHomM | Data.Comp.Algebra, Data.Comp |
| TermHomM' | Data.Comp.Algebra, Data.Comp |
| termHomM' | Data.Comp.Algebra, Data.Comp |
| toCxt | Data.Comp.Term, Data.Comp |
| toHCxt | Data.Comp.Multi.Term, Data.Comp.Multi |
| transform | Data.Comp.Generic, Data.Comp |
| transform' | Data.Comp.Generic, Data.Comp |
| transformM | Data.Comp.Generic, Data.Comp |
| Traversable | Data.Comp.Derive |
| TRS | Data.Comp.TermRewriting |