| callAndSummarise | Camfort.Input |
| CallIdMap | Camfort.Specification.Units.Monad |
| caml | Camfort.Helpers.Syntax |
| Centered | |
| 1 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
| 2 (Data Constructor) | Camfort.Specification.Stencils.Grammar |
| changeDir | Camfort.Output |
| check | Camfort.Specification.Stencils |
| checkDir | Camfort.Helpers |
| Checker | Camfort.Specification.Stencils.CheckFrontend |
| checkOffsetsAgainstSpec | Camfort.Specification.Stencils.CheckFrontend |
| checkUnits | Camfort.Specification.Units |
| cmpEq | Camfort.Helpers |
| cmpFst | Camfort.Helpers |
| cmpSnd | Camfort.Helpers |
| cmpTConBNames | Camfort.Transformation.CommonBlockElim |
| cmpTLConBNames | Camfort.Transformation.CommonBlockElim |
| cmpTLConFName | Camfort.Transformation.CommonBlockElim |
| cmpTLConPName | Camfort.Transformation.CommonBlockElim |
| cmpVarName | Camfort.Transformation.CommonBlockElim |
| coherentCommons | Camfort.Transformation.CommonBlockElim |
| coherentCommons' | Camfort.Transformation.CommonBlockElim |
| collect | Camfort.Helpers |
| collectAndRmCommons | Camfort.Transformation.CommonBlockElim |
| CombinedMode | Camfort.Specification.Stencils.InferenceFrontend |
| common | Camfort.Functionality |
| commonElimToModules | Camfort.Transformation.CommonBlockElim |
| commonName | Camfort.Transformation.CommonBlockElim |
| commonNameFromAST | Camfort.Transformation.CommonBlockElim |
| CommonState | Camfort.Transformation.CommonBlockElim |
| composeConsecutiveSpans | Camfort.Specification.Stencils.InferenceBackend |
| ConConj | Camfort.Specification.Units.Environment |
| ConEq | Camfort.Specification.Units.Environment |
| conParamEq | Camfort.Specification.Units.Environment |
| Cons | Camfort.Helpers.Vec |
| consistent | Camfort.Specification.Stencils.Model |
| consistentIVSuse | Camfort.Specification.Stencils.InferenceFrontend |
| Constant | Camfort.Specification.Stencils.InferenceFrontend |
| Constraint | Camfort.Specification.Units.Environment |
| Constraints | Camfort.Specification.Units.Environment |
| constraintsToMatrix | Camfort.Specification.Units.InferenceBackend |
| containedWithin | Camfort.Specification.Stencils.InferenceBackend |
| countLines | Camfort.Output |
| countVarDecls | Camfort.Functionality |
| countVariableDeclarations | Camfort.Analysis.Simple |
| cprodV | Camfort.Specification.Stencils.Model |
| cprodVs | Camfort.Specification.Stencils.Model |
| criticalVariables | Camfort.Specification.Units.InferenceBackend |