Index - C
| Cache | Twee.Label |
| cache | Twee.Label |
| CacheState | |
| 1 (Type/Class) | Twee.Label |
| 2 (Data Constructor) | Twee.Label |
| Cancel | Twee |
| CancellationRule | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| cancellationRules | Twee |
| cancellations | Twee |
| cancelledWeight | Twee |
| canonicalise | |
| 1 (Function) | Twee.Term |
| 2 (Function) | Twee.Base |
| cat | Twee.Pretty, Twee.Base |
| char | Twee.Pretty, Twee.Base |
| checked | Twee.Term.Core |
| children | Twee.Term, Twee.Base |
| Chr | Twee.Pretty, Twee.Base |
| close | Twee.Term, Twee.Base |
| collate | Twee.Utils |
| colon | Twee.Pretty, Twee.Base |
| comma | Twee.Pretty, Twee.Base |
| compareContents | Twee.Term.Core |
| complete | Twee |
| complete1 | Twee |
| con | Twee.Term, Twee.Base |
| conj | Twee.Constraints |
| Cons | Twee.Term.Core, Twee.Term, Twee.Base |
| Consider | Twee |
| consider | Twee |
| ConsSym | Twee.Term.Core, Twee.Term, Twee.Base |
| Constant | Twee.Constraints |
| ConstantOf | Twee.Base |
| contradictory | Twee.Constraints |
| count | Twee |
| CP | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| cp | Twee |
| cpAge1 | Twee |
| cpAge2 | Twee |
| cpCP | Twee |
| cpId | Twee |
| CPInfo | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| cpOK | Twee |
| CPs | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| cpSplits | Twee |
| cpWeight | Twee |
| cpWeight2 | Twee |
| Critical | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| critical | Twee |
| criticalPairs | Twee |
| criticalPairs1 | Twee |
| CritInfo | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| critInfo | Twee |
| cr_rule | Twee |
| cr_unified | Twee |
| curried | Twee.Pretty, Twee.Base |