| Card | Language.Clafer.Front.Absclafer |
| card | Language.Clafer.Intermediate.Intclafer |
| CardAny | Language.Clafer.Front.Absclafer |
| cardConcat | Language.Clafer.Generator.Alloy |
| CardEmpty | Language.Clafer.Front.Absclafer |
| CardInterval | Language.Clafer.Front.Absclafer |
| CardLone | Language.Clafer.Front.Absclafer |
| cardLowerConcat | Language.Clafer.Generator.Alloy |
| CardNum | Language.Clafer.Front.Absclafer |
| CardSome | Language.Clafer.Front.Absclafer |
| cardUpperConcat | Language.Clafer.Generator.Alloy |
| cAst | Language.ClaferT, Language.Clafer |
| catchErrs | Language.ClaferT |
| cClafers | Language.Clafer.Intermediate.ResolverName |
| cconcat | Language.Clafer.Generator.Alloy |
| CErr | Language.ClaferT |
| CErrs | Language.ClaferT |
| checkConstraintElement | Language.Clafer.Optimizer.Optimizer |
| checkConstraintIDecl | Language.Clafer.Optimizer.Optimizer |
| checkConstraintIExp | Language.Clafer.Optimizer.Optimizer |
| checkConstraintPExp | Language.Clafer.Optimizer.Optimizer |
| checkDuplicateSiblings | Language.Clafer.Intermediate.ResolverName |
| checkDuplicateSiblings' | Language.Clafer.Intermediate.ResolverName |
| checkForJust | Language.Clafer.Intermediate.ResolverName |
| checkListDuplicates | Language.Clafer.Intermediate.ResolverName |
| checkListDuplicates' | Language.Clafer.Intermediate.ResolverName |
| check_duplicates | Language.Clafer.ClaferArgs, Language.Clafer |
| children | Language.Clafer.Common |
| Choco | Language.Clafer.ClaferArgs, Language.Clafer |
| cinPos | Language.Clafer.Intermediate.Intclafer |
| cintercalate | Language.Clafer.Generator.Alloy |
| cIr | Language.ClaferT, Language.Clafer |
| Clafer | |
| 1 (Type/Class) | Language.Clafer.Front.Absclafer |
| 2 (Data Constructor) | Language.Clafer.Front.Absclafer |
| 3 (Data Constructor) | Language.Clafer.ClaferArgs |
| clafer | Language.Clafer.ClaferArgs, Language.Clafer |
| ClaferArgs | |
| 1 (Type/Class) | Language.Clafer.ClaferArgs, Language.Clafer |
| 2 (Data Constructor) | Language.Clafer.ClaferArgs, Language.Clafer |
| claferDecl | Language.Clafer.Generator.Alloy |
| ClaferEnv | |
| 1 (Type/Class) | Language.ClaferT, Language.Clafer |
| 2 (Data Constructor) | Language.ClaferT, Language.Clafer |
| claferEnv | Language.Clafer |
| ClaferErr | |
| 1 (Data Constructor) | Language.ClaferT |
| 2 (Type/Class) | Language.ClaferT, Language.Clafer |
| ClaferErrs | |
| 1 (Data Constructor) | Language.ClaferT |
| 2 (Type/Class) | Language.ClaferT |
| ClaferId | Language.Clafer.Front.Absclafer |
| claferIRXSD | Language.Clafer |
| ClaferM | Language.ClaferT |
| ClaferMode | Language.Clafer.ClaferArgs, Language.Clafer |
| clafers | |
| 1 (Function) | Language.Clafer.Intermediate.Analysis |
| 2 (Function) | Language.Clafer.Intermediate.ResolverName |
| ClaferSErr | Language.ClaferT |
| ClaferSErrs | Language.ClaferT |
| ClaferT | Language.ClaferT |
| ClaferUse | Language.Clafer.Front.Absclafer |
| claferWithUid | Language.Clafer.Intermediate.Analysis |
| cleanOutput | Language.Clafer.Generator.Html |
| CName | Language.Clafer.Intermediate.Intclafer |
| ColNo | Language.Clafer.Intermediate.Intclafer |
| Colon | Language.Clafer.Intermediate.Analysis |
| colonOf | Language.Clafer.Intermediate.Analysis |
| colonsOf | Language.Clafer.Intermediate.Analysis |
| colonsTo | Language.Clafer.Intermediate.Analysis |
| colonUid | Language.Clafer.Intermediate.Analysis |
| column | Language.Clafer.Front.LayoutResolver |
| combine | Language.Clafer.Intermediate.Analysis |
| comparing | Language.Clafer.Intermediate.Analysis |
| compile | Language.Clafer |
| CompilerResult | |
| 1 (Type/Class) | Language.Clafer |
| 2 (Data Constructor) | Language.Clafer |
| Concat | |
| 1 (Type/Class) | Language.Clafer.Generator.Alloy |
| 2 (Data Constructor) | Language.Clafer.Generator.Alloy |
| concatD | Language.Clafer.Front.Printclafer |
| concatMapM | Language.Clafer.Intermediate.Analysis |
| concatS | Language.Clafer.Front.Printclafer |
| console_output | Language.Clafer.ClaferArgs, Language.Clafer |
| Constraint | |
| 1 (Type/Class) | Language.Clafer.Front.Absclafer |
| 2 (Data Constructor) | Language.Clafer.Front.Absclafer |
| constraints | Language.Clafer.Intermediate.Analysis |
| constraintsUnder | Language.Clafer.Intermediate.Analysis |
| context | Language.Clafer.Intermediate.ResolverName |
| convertClafer | Language.Clafer.Intermediate.Analysis |
| countLeading | Language.Clafer.Generator.Alloy |
| countTrailing | Language.Clafer.Generator.Alloy |
| cpexp | Language.Clafer.Intermediate.Intclafer |
| css | Language.Clafer.Css |
| CString | Language.Clafer.Generator.Alloy |
| cunlines | Language.Clafer.Generator.Alloy |
| CVLGraph | Language.Clafer.ClaferArgs, Language.Clafer |