| Card | Language.Clafer.Front.AbsClafer |
| card | Language.Clafer.Intermediate.Intclafer |
| CardAny | Language.Clafer.Front.AbsClafer |
| CardEmpty | Language.Clafer.Front.AbsClafer |
| CardInterval | Language.Clafer.Front.AbsClafer |
| CardLone | Language.Clafer.Front.AbsClafer |
| CardNum | Language.Clafer.Front.AbsClafer |
| CardSome | Language.Clafer.Front.AbsClafer |
| cAst | Language.ClaferT, Language.Clafer |
| catchErrs | Language.ClaferT |
| cClafers | Language.Clafer.Intermediate.ResolverName |
| cconcat | Language.Clafer.Generator.Concat |
| 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 |
| childrenIdent | Language.Clafer.Common |
| Choco | Language.Clafer.ClaferArgs, Language.Clafer |
| cinPos | Language.Clafer.Intermediate.Intclafer |
| cintercalate | Language.Clafer.Generator.Concat |
| 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 |
| ClaferBinding | Language.Clafer.Intermediate.Intclafer |
| 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 | Language.Clafer.Intermediate.ResolverName |
| ClaferSErr | Language.ClaferT |
| ClaferSErrs | Language.ClaferT |
| ClaferT | Language.ClaferT |
| ClaferUse | Language.Clafer.Front.AbsClafer |
| cleanOutput | Language.Clafer.Generator.Html |
| CName | Language.Clafer.Intermediate.Intclafer |
| ColNo | Language.Clafer.Intermediate.Intclafer |
| column | Language.Clafer.Front.LayoutResolver |
| compile | Language.Clafer |
| CompilerResult | |
| 1 (Type/Class) | Language.Clafer |
| 2 (Data Constructor) | Language.Clafer |
| Concat | |
| 1 (Type/Class) | Language.Clafer.Generator.Concat |
| 2 (Data Constructor) | Language.Clafer.Generator.Concat |
| concatD | Language.Clafer.Front.PrintClafer |
| 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 |
| context | Language.Clafer.Intermediate.ResolverName |
| cpexp | Language.Clafer.Intermediate.Intclafer |
| createUidIClaferMap | Language.Clafer.Common |
| css | Language.Clafer.Css |
| CString | Language.Clafer.Generator.Concat |
| cunlines | Language.Clafer.Generator.Concat |
| CVLGraph | Language.Clafer.ClaferArgs, Language.Clafer |