Index - C
| Comp | Data.Type.Universe |
| compAll | Data.Type.Universe, Data.Type.Predicate.Quantification |
| compAny | Data.Type.Universe, Data.Type.Predicate.Quantification |
| CompElem | Data.Type.Universe |
| compImpl | Data.Type.Predicate, Data.Type.Predicate.Logic |
| ConstPP | Data.Type.Predicate.Param |
| contrapositive | Data.Type.Predicate.Logic |
| contrapositive' | Data.Type.Predicate.Logic |