| cbool | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| cbv | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| cbvUntyped | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| cdt | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| checkSat | |
| 1 (Function) | Language.SMTLib2.Internals.Backend |
| 2 (Function) | Language.SMTLib2 |
| CheckSatLimits | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| CheckSatResult | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| checkSatWith | Language.SMTLib2 |
| cint | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| ClauseId | Language.SMTLib2.Internals.Backend, Language.SMTLib2 |
| comment | |
| 1 (Function) | Language.SMTLib2.Internals.Backend |
| 2 (Function) | Language.SMTLib2 |
| ConApp | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Type |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Type |
| Concat | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Type.List |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Expression |
| 3 (Data Constructor) | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| concat | Language.SMTLib2.Internals.Type.List |
| concat' | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| cons | Language.SMTLib2.Internals.Type.List |
| Const | Language.SMTLib2.Internals.Expression |
| constant | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| ConstArray | |
| 1 (Data Constructor) | Language.SMTLib2.Internals.Expression |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| constArray | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| ConstBool | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| ConstBV | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| ConstInt | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| Constr | Language.SMTLib2.Internals.Type, Language.SMTLib2.Internals.Type |
| ConstReal | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| constrName | Language.SMTLib2.Internals.Type |
| constrSig | Language.SMTLib2.Internals.Type |
| construct | Language.SMTLib2.Internals.Type |
| Constructor | Language.SMTLib2.Internals.Expression |
| constructor | Language.SMTLib2.Internals.Type |
| constructors | Language.SMTLib2.Internals.Type |
| ConstrValue | Language.SMTLib2.Internals.Type |
| containedParameter | Language.SMTLib2.Internals.Type |
| creal | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| createFunArg | Language.SMTLib2.Internals.Backend |
| createQVar | Language.SMTLib2.Internals.Backend |
| CType | Language.SMTLib2.Internals.Type |
| ctype | Language.SMTLib2.Internals.Type |
| CustomTactic | Language.SMTLib2.Strategy |