| Clause | |
| 1 (Type/Class) | Satchmo.Data |
| 2 (Data Constructor) | Satchmo.Data |
| clause | Satchmo.Data |
| clauses | Satchmo.Data |
| CNF | Satchmo.Data |
| cnf | Satchmo.Data |
| Coefficient | Satchmo.PolynomialN |
| coefficients | Satchmo.Polynomial |
| common2 | Satchmo.Set.Data, Satchmo.Set |
| complement | Satchmo.Relation.Op, Satchmo.Relation |
| complete | Satchmo.Relation.Prop, Satchmo.Relation |
| compose | |
| 1 (Function) | Satchmo.Polynomial.Numeric |
| 2 (Function) | Satchmo.Polynomial |
| Constant | |
| 1 (Data Constructor) | Satchmo.Boolean |
| 2 (Type/Class) | Satchmo.Numeric |
| constant | |
| 1 (Function) | Satchmo.Boolean |
| 2 (Function) | Satchmo.Unary |
| 3 (Function) | Satchmo.Numeric |
| 4 (Function) | Satchmo.Integer |
| 5 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| 6 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| 7 (Function) | Satchmo.Polynomial |
| 8 (Function) | Satchmo.Set.Data, Satchmo.Set |
| constantTerm | |
| 1 (Function) | Satchmo.Polynomial.Numeric |
| 2 (Function) | Satchmo.Polynomial |
| constantWidth | |
| 1 (Function) | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| 2 (Function) | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| Create | Satchmo.Numeric |
| create | Satchmo.Numeric |