Index - C
| CaseData | Covenant.Prim |
| CaseList | Covenant.Prim |
| checkApp | Covenant.Test |
| checkDataDecls | Covenant.Test |
| checkEncodingArgs | Covenant.Test |
| ChooseData | Covenant.Prim |
| chooseInt | Covenant.Test |
| ChooseList | Covenant.Prim |
| ChooseUnit | Covenant.Prim |
| Comp0 | Covenant.Type |
| Comp1 | Covenant.Type |
| Comp2 | Covenant.Type |
| Comp3 | Covenant.Type |
| ComplementByteString | Covenant.Prim |
| CompN | Covenant.Type |
| CompNodeInfo | Covenant.ASG |
| CompT | Covenant.Type |
| CompTBody | Covenant.Type |
| Concrete | |
| 1 (Type/Class) | Covenant.Test |
| 2 (Data Constructor) | Covenant.Test |
| ConcreteDecl | Covenant.Test |
| ConcreteNestedDecl | Covenant.Test |
| ConsByteString | Covenant.Prim |
| ConstrData | |
| 1 (Data Constructor) | Covenant.Type |
| 2 (Data Constructor) | Covenant.Prim |
| Constructor | |
| 1 (Type/Class) | Covenant.Type |
| 2 (Data Constructor) | Covenant.Type |
| ConstructorName | |
| 1 (Type/Class) | Covenant.Type |
| 2 (Data Constructor) | Covenant.Type |
| ConsV | Covenant.Util |
| Count | Covenant.Index |
| count0 | Covenant.Index |
| count1 | Covenant.Index |
| count2 | Covenant.Index |
| count3 | Covenant.Index |
| CountSetBits | Covenant.Prim |
| CovenantError | Covenant.ASG |
| CovenantTypeError | Covenant.ASG |
| cycleCheck | Covenant.Test |