Index - C
| CaseBranchesMustBeEqType | Inferno.Infer |
| CastError | Inferno.Eval.Error |
| cEmpty | Inferno.Infer.Exhaustiveness |
| cEnum | Inferno.Infer.Exhaustiveness |
| checkUsefullness | Inferno.Infer.Exhaustiveness |
| cInf | Inferno.Infer.Exhaustiveness |
| closeOver | Inferno.Infer.Env, Inferno.Infer |
| closeOverType | Inferno.Infer.Env, Inferno.Infer |
| combineTermEnvs | Inferno.Module |
| Comment | Inferno.Parse |
| cOne | Inferno.Infer.Exhaustiveness |
| Constraint | Inferno.Infer |
| couldNotCast | Inferno.Module.Cast |
| CouldNotFindTypeclassWitness | Inferno.Infer |
| cTuple | Inferno.Infer.Exhaustiveness |