Index - C
| checkApp | Covenant.Type |
| 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 |
| ConsByteString | Covenant.Prim |
| 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 |