| cbool | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| cbv | 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 |
| Concat | |
| 1 (Data Constructor) | Language.SMTLib2.Internals.Expression |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| concat' | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| ConcreteValue | Language.SMTLib2.Internals.Type, Language.SMTLib2 |
| conFields | Language.SMTLib2.Internals.Type |
| conName | Language.SMTLib2.Internals.Type |
| cons | Language.SMTLib2.Internals.Type.List |
| ConsCon | Language.SMTLib2.Internals.Type |
| ConsDts | Language.SMTLib2.Internals.Type |
| Const | Language.SMTLib2.Internals.Expression |
| constant | |
| 1 (Function) | Language.SMTLib2.Internals.Interface |
| 2 (Function) | 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 | |
| 1 (Type/Class) | Language.SMTLib2.Internals.Type |
| 2 (Data Constructor) | Language.SMTLib2.Internals.Type |
| 3 (Type/Class) | Language.SMTLib2.Internals.Backend |
| ConstReal | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| Constrs | Language.SMTLib2.Internals.Type |
| construct | Language.SMTLib2.Internals.Type |
| constructDatatype | Language.SMTLib2.Internals.Monad |
| Constructor | Language.SMTLib2.Internals.Expression |
| constructors | Language.SMTLib2.Internals.Type |
| ConstrValue | Language.SMTLib2.Internals.Type |
| ConstrValueC | Language.SMTLib2.Internals.Type, Language.SMTLib2 |
| conTest | Language.SMTLib2.Internals.Type |
| creal | Language.SMTLib2.Internals.Interface, Language.SMTLib2 |
| createFunArg | Language.SMTLib2.Internals.Backend |
| createQVar | Language.SMTLib2.Internals.Backend |
| CustomTactic | Language.SMTLib2.Strategy |